Workflow modeling rationality validation algorithm based on Petri-net

Computer Engineering and Applications ›› 2008, Vol. 44 ›› Issue (13): 228-231.

• 工程与应用 • Previous Articles Next Articles

Workflow modeling rationality validation algorithm based on Petri-net

HAO Mei,WANG Dao-ping

College of Economics and Management，University of Science and Technology Beijing，Beijing 100083，China

Received:2007-08-23 Revised:2007-11-19 Online:2008-05-01 Published:2008-05-01
Contact: HAO Mei

基于Petri网的工作流建模合理性验证算法

郝玫,王道平

北京科技大学经济管理学院，北京 100083

通讯作者: 郝玫

Abstract

Abstract: Petri-net is a graphic and mathematical modeling tool that can be applied to variety systems.In addition，it can provide the techniques and tools for the workflow model structural analysis and performance evaluation.Based on the analysis of the existing workflow rationality validation theorems and algorithms，a rationality validation algorithm is perfected and mended，and at last the correctness of this algorithm is verified by an example.

Key words: workflow model, petri-net, rationality, validation algorithm

摘要： Petri网是一种适用于多种系统的图形化、数学化的建模工具，并且能为工作流模型的结构分析和性能评价提供技术和手段。通过对现有的工作流网的合理性验证定理和算法进行分析，完善并改进了一种基于Petri网的工作流模型合理性验证算法，最后用实例验证了该算法的正确性。

关键词: 工作流模型, Petri网, 合理性, 验证算法

HAO Mei,WANG Dao-ping. Workflow modeling rationality validation algorithm based on Petri-net[J]. Computer Engineering and Applications, 2008, 44(13): 228-231.

郝玫,王道平. 基于Petri网的工作流建模合理性验证算法[J]. 计算机工程与应用, 2008, 44(13): 228-231.

[1]	ZHAO Hongda, QI Yong, LI Qianmu. Ubiquitous network security risk assessment modeling based on COOPN [J]. Computer Engineering and Applications, 2018, 54(4): 122-127.
[2]	DING Xuefeng. Emotional evolution model and its simulation under social emotional mass incident [J]. Computer Engineering and Applications, 2018, 54(19): 230-236.
[3]	WANG Xia1，WANG Gang2，ZHOU Lidong1. Improved verification method for rationality of workflow [J]. Computer Engineering and Applications, 2011, 47(33): 43-45.
[4]	LIU Yi1，XUE Hongchao2，XIA Yunni2，YANG Jun1. Stochastic-petri-net-based approach to modeling and performance evaluation of choreography-based service composition [J]. Computer Engineering and Applications, 2011, 47(22): 227-232.
[5]	LIU Yi1，XUE Hongchao2，XIA Yunni2. Model-driven approach for dependability prediction of WS-CDL based service composition [J]. Computer Engineering and Applications, 2011, 47(11): 60-66.
[6]	WANG Yong-lin¹，JIANG Ai-jun². Research on structured composition transaction compensation of refinement qualities [J]. Computer Engineering and Applications, 2010, 46(18): 30-34.
[7]	WU Shi-hong，LI De-hua，PAN Ying. Multi-Agent cooperative reinforcement learning based on collective rationality [J]. Computer Engineering and Applications, 2010, 46(17): 8-10.
[8]	WANG Yong-lin¹，JIANG Ai-jun². Research on compensation semantic of composition Web services transaction [J]. Computer Engineering and Applications, 2010, 46(14): 38-41.
[9]	HAN Jian-hua,LI Li,YANG An-chen,ZHAO Rui. Cooperative petition processing system based on extensible workflow model [J]. Computer Engineering and Applications, 2009, 45(16): 219-221.
[10]	LI Wei-gang. Flexible workflow modeling based on case reasoning [J]. Computer Engineering and Applications, 2008, 44(4): 89-91.
[11]	CAO Huai-hu,ZHANG Yan-mei,NIU Wa. Petri-Net model for publish/subscribe protocol in mobile environment [J]. Computer Engineering and Applications, 2008, 44(3): 124-127.
[12]	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.
[13]	WeiBing Feng. Analysis of Petri-nets-based Workflow model [J]. Computer Engineering and Applications, 2007, 43(3期): 194-194.
[14]	LI Ying¹，WANG Jia-min². Enhanced MVC pattern based on Petri-Net and its implementation [J]. Computer Engineering and Applications, 2007, 43(17): 202-205.
[15]	Sunlingfang,. Modeling and Analysis of YAWL –Based Secure Consumption System [J]. Computer Engineering and Applications, 2006, 42(32期): 0-.

Workflow modeling rationality validation algorithm based on Petri-net

基于Petri网的工作流建模合理性验证算法

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics