基于Petri网的工作流模型的分析  

Analysis of petri-nets-based workflow model

作　　者：冯卫兵[1] 郝克刚[2] 

机构地区：[1]西安科技大学基础部 [2]西北大学计算机科学系,西安710069

出　　处：《计算机工程与应用》2007年第3期194-197,共4页Computer Engineering and Applications

基　　金：国家自然科学基金资助项目(60373108)。

摘　　要：通过模型分析发现所描述的过程定义中的设计错误,以便对业务过程重构提供正确的指导和科学的依据。首先将信牌驱动模型转化为Petri网,接着将Petri网进行必要化简,最后对化简后的Petri网进行死锁等分析。The default of process design is found by workflow model analysis.The proper direction and scientifie gist are provided.The Xinpai-driven model is transformed to Petri net and normal Petrl net,and then to general Petri net.The characters of extending Xinpai-driven model are researched in Petri net space.The deadlock in Petri net predigested is analysed.

关 键 词：工作流模型 PETRI网 死锁 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]