摘要
通过对当前工作流过程建模方法的总结,提出这些方法的不足之处,展望了过程建模的发展动向.在基本的有色 Petri 网系统定义的基础上,引入面向对象技术和时间映射机制,提出了一种基于高级对象Petri 网的建模方法,以提高模型的可重用性,加强对动态流程的描述能力,降低建模过程的复杂度,解决临界资源的共享问题.通过一个具体实例阐述了如何建立高级对象 Petri 网模型,并通过活性分析算法,验证模型对流程描述的正确性和有效性.
By concluding the current state of research in workflow process modeling, some disadvantages and development trend are put forward. In order to improve reusability of model, minify complexity of modeling process, enhance to descriptive ability for dynamic workflow, and solve problem of shared critical resource, the high-level oriented-object Petri nets based on the basic colored Petri nets is proposed. Finally, an instance is given to explain a workflow process model based on high-level object-oriented Petri nets, and the live analysis algorithm is provided to validate correctness and validity of workflow model.
出处
《系统工程理论与实践》
EI
CSCD
北大核心
2005年第3期86-95,共10页
Systems Engineering-Theory & Practice
关键词
工作流
过程建模
高级对象Petri网
活性分析算法
workflow
process modeling
high-level object-oriented Petri nets
live analysis algorithm