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.
Published in:
Fuzzy Systems and Knowledge Discovery (FSKD), 2011 Eighth International Conference on
(Volume:4
)
Date of Conference: 26-28 July 2011