Computer Engineering and Applications ›› 2007, Vol. 43 ›› Issue (3): 194-194.

• 工程与应用 • Previous Articles     Next Articles

Analysis of Petri-nets-based Workflow model

WeiBing Feng   

  • Received:2006-05-29 Revised:1900-01-01 Online:2007-01-21 Published:2007-01-21
  • Contact: WeiBing Feng

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

冯卫兵 郝克刚   

  1. 西安科技大学基础部 西北大学计算机科学系
  • 通讯作者: 冯卫兵

Abstract: The default of process design is found by Workflow model Analysis. The proper direction and scientific gist are provided. The Xinpai-driven model is transformed to Petri net and normal Petri 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 analysised.

Key words: workflow model, Petri net, deadlock

摘要: 通过模型分析发现所描述的过程定义中的设计错误,以便对业务过程重构提供正确的指导和科学的依据。首先将信牌驱动模型转化为Petri网,接着将Petri网进行必要化简,最后对化简后的Petri网进行死锁等分析。

关键词: 工作流模型, Petri网, 死锁