基于Petri网的工作流模式建模及应用

计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (13): 238-241.

基于Petri网的工作流模式建模及应用

王斌^1,2,章云¹,王晓红²

1.广东工业大学自动化学院，广州 510075
2.广州市广播电视网络有限公司，广州 510010

收稿日期:2007-08-22 修回日期:2007-11-13 出版日期:2008-05-01 发布日期:2008-05-01
通讯作者: 王斌

Modeling research and application of workflow patterns based on Petri nets

WANG Bin^1,2,ZHANG Yun¹,WANG Xiao-hong²

1.Department of Automatization，Guangdong University of Technology，Guangzhou 510075，China
2.Guangzhou Radio and Television Network Company，Ltd.，Guangzhou 510010，China

Received:2007-08-22 Revised:2007-11-13 Online:2008-05-01 Published:2008-05-01
Contact: WANG Bin

摘要/Abstract

摘要： 工作流模式建模是工作流模型的基础，Petri网同步器是目前最有效的工作流模型建模方法。使用网和同步距离对工作流模式进行分析，将目前常用的工作流模式归纳成为三种：完全同步、竞争同步、非同步。而Petri网同步器只能表示完全同步，不能表示竞争同步和非同步，为此提出一种改进的同步器，通过改进同步类型，使得同步器可以建模三种同步模式，较之改进前的同步器，增强了建模竞争同步模式和非同步模式的能力。

关键词: 工作流建模, 工作流模式, 同步器, 同步距离

Abstract: Workflow pattern is a basic part of the workflow model，and the synchronization machine of Petri nets is the most efficient method in workflow modeling.In this paper，common workflow patterns are categorize into 3 kinds：complete synchronization，competitive synchronization and non-synchronization.The synchronization machine of Petri nets is able to model the complete synchronization，however，not the competitive synchronization and non-synchronization.An extended synchronization machine is presented in this paper，with its capabilities of modeling all the patterns above.Compared to the original synchronization machine，the new one extends the capabilities of modeling the competitive synchronization and non-synchronization.

Key words: workflow modeling, workflow pattern, synchronization machine, synchronic distances

王斌^1,2,章云¹,王晓红². 基于Petri网的工作流模式建模及应用[J]. 计算机工程与应用, 2008, 44(13): 238-241.

WANG Bin^1,2,ZHANG Yun¹,WANG Xiao-hong². Modeling research and application of workflow patterns based on Petri nets[J]. Computer Engineering and Applications, 2008, 44(13): 238-241.

[1]	王丽丽，方贤文，方欢，蔡瑞文. P/T_网中的同步距离[J]. 计算机工程与应用, 2014, 50(23): 47-50.
[2]	黄红梅^1，2，章云¹. 非确定选择平行模式的建模方法[J]. 计算机工程与应用, 2009, 45(28): 207-210.
[3]	黄贤明，李长云，梁爱南. 工作流模式的π演算建模研究[J]. 计算机工程与应用, 2007, 43(17): 66-68.
[4]	孙玲芳,于枫. 基于YAWL的商品安全消费系统建模与分析[J]. 计算机工程与应用, 2006, 42(32期): 0-.
[5]	冯卫兵,李战怀. 无触Ｃ／Ｅ系统中同步距离性质的研究 [J]. 计算机工程与应用, 2006, 42(23期): 14-.