基于反应型的Petri网工作流业务过程建模  

Business Process Modeling in Workflow System Based on PetriNets of Reactive Semantics

作　　者：戴久龙[1] 林子禹[1] 

机构地区：[1]武汉大学软件工程国家重点实验室,湖北武汉430072

出　　处：《计算机应用研究》2004年第12期39-42,共4页Application Research of Computers

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

摘　　要：传统的基于令牌机制的Petri网工作流模型虽然被广泛应用,但不能完整准确地反映工作流引擎运行时的实际情况。在充分考虑了系统运行时的实际场景之后,提出了一种基于反应型机制的Petri网工作流模型;然后分析了标准Petri网工作流模型到反应型Petri网工作流模型的转换方法和实现步骤,并给出了验证的思路。The traditional Petri nets under the token-game semantics are widely used for modeling and analyzing workflows,but cannot completely and accurately reflect the system at run time. In this paper first we define a model based on Petri nets of reactive semantics after considering the real scenes at run time.Next,the methods and steps of transforming the standard workflow net to the reactive workflow net are analyzed.Finally a thought of verification is given.

关 键 词：工作流 过程建模 反应型 PETRI网 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]