微型机与应用
微型機與應用
미형궤여응용
MICROCOMPUTER & ITS APPLICATIONS
2013年
2期
77-80
,共4页
刘继承%张爱茹%李征鸿%张严%任梓健
劉繼承%張愛茹%李徵鴻%張嚴%任梓健
류계승%장애여%리정홍%장엄%임재건
文件审批系统%petri网%工作流%模型映射与化简
文件審批繫統%petri網%工作流%模型映射與化簡
문건심비계통%petri망%공작류%모형영사여화간
以工作流技术为基础,将基于petri网的建模方法应用到文件审批系统的分析过程中,构建系统的petri网模型,并利用petri网化简规则,对该模型进行了结构上的正确性验证；同时,通过模型的可覆盖树对模型的可达性、活性、有界性等petri网的性质进行了验证.结果证明,该技术能够在文件审批系统中进行建模和可行性验证.
以工作流技術為基礎,將基于petri網的建模方法應用到文件審批繫統的分析過程中,構建繫統的petri網模型,併利用petri網化簡規則,對該模型進行瞭結構上的正確性驗證；同時,通過模型的可覆蓋樹對模型的可達性、活性、有界性等petri網的性質進行瞭驗證.結果證明,該技術能夠在文件審批繫統中進行建模和可行性驗證.
이공작류기술위기출,장기우petri망적건모방법응용도문건심비계통적분석과정중,구건계통적petri망모형,병이용petri망화간규칙,대해모형진행료결구상적정학성험증；동시,통과모형적가복개수대모형적가체성、활성、유계성등petri망적성질진행료험증.결과증명,해기술능구재문건심비계통중진행건모화가행성험증.
