摘要
当前,复杂工作流建模和动态工作流建模成为工作流研究中的重点。该文详细论述了一种基于Petri网的、用于复杂工作流模型设计的层次建模方法及其相关规则,并利用四种Petri简化规则对工作流模型的正确性进行了验证。同时提出“区”的概念并藉此分析了工作流的动态建模问题。
At present,complicated workflow modeling and dynamic workflow modeling become more important.A hierar-chical Petri net-based approach for complicated workflow model design and associated rules are presented in this paper.By four Petri reduction rules,soundness of workflow model is proved too.Concept of region is discussed and dynamic workflow modeling is analysed with the definition of regions.
出处
《计算机工程与应用》
CSCD
北大核心
2005年第15期211-214,共4页
Computer Engineering and Applications
基金
国家自然科学资金(编号:60274047)
国家预研基金(编号:51406020203JW05)资助
