Research on Emergency Plan Business Process Modeling based on Colored Petri Nets
With the modeling technology of Petri nets and colored Petri Nets, task logics are described in Emergency Plan Business Process. With boundedness, the reachability tree algorithm of Petri nets is designed. On this basis, corresponding Markov chain is constructed; the algorithm of analysis performance of stochastic Petri nets is provided. Through the case, the utilization ratio of resources and design efficiency in the designed model are analyzed, and the validity of the algorithm verified.
emergency plan business process Petri nets CPN CPN Tools
Huang Wei-dong Tong Zhe Huang Wei-dong
Nanjing University of Posts and Telecommunications Nanjing, China School of Management and Engineering Nanjing University Nanjing, China
国际会议
上海
英文
2140-2143
2011-07-26(万方平台首次上网日期,不代表论文的发表时间)