摘要
传统的基于令牌机制的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.
出处
《计算机应用研究》
CSCD
北大核心
2004年第12期39-42,共4页
Application Research of Computers
基金
国家自然科学资金资助项目(69873036)
