Title :
Research on Emergency Plan Business Process modeling based on colored Petri Nets
Author :
Huang Wei-dong ; Tong Zhe
Author_Institution :
Nanjing Univ. of Posts & Telecommun., Nanjing, China
Abstract :
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.
Keywords :
Markov processes; Petri nets; business continuity; emergency services; reachability analysis; resource allocation; trees (mathematics); Markov chain; colored Petri nets; emergency plan business process modeling; reachability tree algorithm; resource utilization; stochastic Petri nets; Analytical models; Business; Computational modeling; Image color analysis; Markov processes; Mathematical model; Petri nets; CPN; CPN Tools; Petri nets; business process; emergency plan;
Conference_Titel :
Fuzzy Systems and Knowledge Discovery (FSKD), 2011 Eighth International Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-1-61284-180-9
DOI :
10.1109/FSKD.2011.6020000
