【摘要】 当前,复杂工作流建模和动态工作流建模成为工作流研究中的重点。该文详细论述了一种基于Petri网的、用于复杂工作流模型设计的层次建模方法及其相关规则,并利用四种Petri简化规则对工作流模型的正确性进行了验证。同时提出“区”的概念并藉此分析了工作流的动态建模问题。更多还原

【Abstract】 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.更多还原