Analysis approach of business process net using extended zone

doi:10.3778/j.issn.1002-8331.2010.10.016

Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (10): 48-50.DOI: 10.3778/j.issn.1002-8331.2010.10.016

• 研究、探讨 • Previous Articles Next Articles

Analysis approach of business process net using extended zone

LIU Xian-ming¹，LI Shi-xian²，LI Wei-hua³，LIANG Wen¹，MA Yong¹

1.Department of Technology，Jiangxi Electric Information and Communication Company，Nanchang 330077，China
2.Department of Computer Science，Sun Yat-Sen University，Guangzhou 510275，China
3.Faculty of Computer，Guangdong University of Technology，Guangzhou 510096，China

Received:2008-10-10 Revised:2008-12-17 Online:2010-04-01 Published:2010-04-01
Contact: LIU Xian-ming

以扩展分区为核心的流程网分析方法

刘显明¹，李师贤²，李卫华³，梁文¹，马勇¹

1.江西省电力信息通讯有限公司技术部，南昌 330077
2.中山大学计算机科学系，广州 510275
3.广东工业大学计算机学院，广州 510096

通讯作者: 刘显明

Abstract

Abstract: Business process net is a new tool used for business process modelling.This paper introduces basic notions of business process net，then proposes a new analysis approach used for state space computation of business process net.The idea of this approach is extending zone based method with cost information，then the paper gives the algorithm of state space computation based on the extended zone.Finally the paper proves that for the bounded business process net，the computation process can be terminated and the reachability of minimum cost is decidable.

Key words: extended zone, business process, Petri net, state space computation

摘要： 业务流程网是一种用于业务流程建模的新工具。介绍了业务流程网基本概念后，提出一种用于业务流程网状态空间计算的新方法。该方法以自动机研究领域的分区方法为基础，为分区扩展成本信息，从而得到一种扩展分区，进而给出状态空间计算方法，最后证明了：对于有界的业务流程网来说，扩展分区的计算是可终止的，并且最小成本可达问题是可判定的。

关键词: 扩展分区, 业务流程, Petri网, 状态空间计算

CLC Number:

TP393

LIU Xian-ming¹，LI Shi-xian²，LI Wei-hua³，LIANG Wen¹，MA Yong¹. Analysis approach of business process net using extended zone[J]. Computer Engineering and Applications, 2010, 46(10): 48-50.

刘显明¹，李师贤²，李卫华³，梁文¹，马勇¹. 以扩展分区为核心的流程网分析方法[J]. 计算机工程与应用, 2010, 46(10): 48-50.

[1]	NI Ming, QIAN Siyuan, YANG Shanlin. Simulation and Optimization of Recycling and Reusing Process of Wasted Smart Phones [J]. Computer Engineering and Applications, 2021, 57(5): 258-263.
[2]	LU Wenxing, WANG Hupo, WANG Binyou. Research on Tourist Diversion in Scenic Spots Based on Timed Petri Net [J]. Computer Engineering and Applications, 2020, 56(8): 241-248.
[3]	FENG Fujian. Verification Analysis for Delay Time Petri Nets [J]. Computer Engineering and Applications, 2019, 55(4): 72-78.
[4]	DENG Liping1, DUAN Liguo2, YANG Lifeng2. Trust and Behavioral Method Based Web Services Selection [J]. Computer Engineering and Applications, 2019, 55(4): 112-118.
[5]	ZHAO Ying1, PAN Hua2, SUN Jinyan2, MO Qi3, DAI Fei4. Random Behavior Analysis Method of Collaborative Business Process [J]. Computer Engineering and Applications, 2019, 55(3): 245-251.
[6]	SONG Jian, FANG Xianwen, WANG Lili, LIU Xiangwei. Quasi Indirect Dependence Mining Method for Business Process Hide Transition [J]. Computer Engineering and Applications, 2019, 55(22): 265-270.
[7]	LUO Ling. Reliability Checking About Embedded Airborne Software Based on Stochastic Petri Net [J]. Computer Engineering and Applications, 2019, 55(1): 233-240.
[8]	CAO Rui, FANG Xianwen, WANG Lili. Optimization analysis of process mining based on quasi indirect dependence [J]. Computer Engineering and Applications, 2018, 54(9): 37-41.
[9]	LI Haiyan1, WANG Yanping1, ZHOU Jianyong2, LIU Jiufu2. Design of deadlock supervisor of partially controllable Petri nets [J]. Computer Engineering and Applications, 2018, 54(8): 48-54.
[10]	DONG Jian, DAI Shenghua. Modeling and formal analysis of level transition based on colored Petri nets [J]. Computer Engineering and Applications, 2018, 54(2): 208-213.
[11]	ZHANG Jing, WANG Liang, FAN Hongbo. Modeling and analysis of CPS physical entity spatio-temporal state [J]. Computer Engineering and Applications, 2018, 54(14): 41-44.
[12]	JIANG Jieqi, YANG Geng, LI Peng. Analysis of users’ behavior under cloud computing environment [J]. Computer Engineering and Applications, 2018, 54(14): 127-132.
[13]	WANG Liewei, WU Shuo, HU Junhua. Modelling and comparisons of traffic intersections based on Petri nets [J]. Computer Engineering and Applications, 2018, 54(14): 211-216.
[14]	REN Dayong. Reliability diagnosis model of supply chain based on intuitionistic fuzzy Petri net [J]. Computer Engineering and Applications, 2017, 53(5): 260-265.
[15]	LIU Hong, FANG Xianwen, LIU Xiangwei. Mining method of business process hide transitions based on process tree cut [J]. Computer Engineering and Applications, 2017, 53(22): 222-226.

Analysis approach of business process net using extended zone

以扩展分区为核心的流程网分析方法

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics