基于Petri网工作流过程模型合理性验证方法

J4 ›› 2011, Vol. 29 ›› Issue (6): 590-594.

WANG Li-jun¹|GUO Xiao-dong²

1.Institute of Information Spreading Engineering|Changchun University of Technology,Changchun 130012,China;
2.Changchun Engineering Consulting Service Center,Changchun 130042,China

CLC Number:

WANG Li-Jun, GUO Xiao-Dong. Approach to Verify |Soundness of Workflow Process Models Based on Petri Net[J].J4, 2011, 29(6): 590-594.

[1]	REN Weijian, ZHU Shan, HUO Fengcai. Design and Implementation of Oilfield Archive Management System Based on Petri Net and Custom Technology [J]. Journal of Jilin University(Information Science Ed, 2016, 34(5): 635-644.
[2]	TUN Hai, SUN Yong-Xiong, FU Qiang-Xin, XU Jia-Qi. Mapping UML Diagram to Colored Petri Net for Analysis and Verifcation [J]. J4, 2011, 29(4): 356-364.
[3]	ZHAO Xiao-ming, QI Sheng-li, GAO Xian-jun, LIANG Guang-dong. Simulation Method for Dynamic Performance Analsis of Equipment Repair Support System Based on OPN Model [J]. J4, 2009, 27(05): 527-.
[4]	ZHAO Xiao-ming, GAO Xian-jun, LIANG Guang-dong. Modeling for Communication Equipment Maintenance Support System Based on HTPN [J]. J4, 2009, 27(04): 412-.
[5]	XIAO Jun,DENG Hai-hong,GAO Yun-feng,ZHOU Chun-gui\|LIU Lei. Workflow Modeling and Time Performance Analysis Based on Petri Net [J]. J4, 2009, 27(01): 104-.

Like