• 论文 •    

基于着色Petri网的工作流建模和合理性分析

陈翔,夏国平   

  1. 1.北京理工大学管理与经济学院,北京100081;2.北京航空航天大学经济管理学院,北京100083
  • 出版日期:2004-04-15 发布日期:2004-04-25

Workflow Modeling Based on Colored Petri Nets and its Soundness Analysis

CHEN Xiang, XIA Guo-ping   

  1. 1.Sch. of Management and Economics,Beijing Institute of Technology,Beijing100081,China;2.Sch. of Economics and Management, Beihang Univ., Beijing100083, China
  • Online:2004-04-15 Published:2004-04-25

摘要: 针对工作流模型表达能力较差,以及合理性不容易验证的问题,将工作流管理联盟定义的工作流模型映射为工作流网络。通过应用统一的资源管理器和引入着色Petri网,得到着色工作流网模型,这种模型更简单、更容易计算机化。在定义并证明两种不会破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网,使所有工作流模型的合理性问题都可以在多项式时间里得到解决。

关键词: 工作流模型, 着色Petri网, 扩展自由选择

Abstract: Due to the poor expression ability and the difficulty to verify the soundness of workflow model, the paper maps the workflow notion defined by Workflow Management Coalition (WfMC) to WorkFlow net (WF-net). Through applying unified resource manager and the introduction of colored Petri net, the paper gets colored WF-net, which is simple and easy to computerize. Based on the definition of two adjustment mappings, which are proved not to destroy structure properties and system behaviors, the paper adjust the WF-net to a complete Extended Free Choice net (EFC-net).After adjustment, the soundness of all WF-net models can be verified in polynomial time.

Key words: workflow model, colored Petri net, extended free choice net

中图分类号: