Performance analysis of new stochastic colored Petri nets
一种随机着色Petri网及模型的性能分析

While analyzing the system performance, the state space of stochastic Petri Nets increases exponentially with the accretion of the system scale, which causes the complexity of obtaining stabilization probability. Concerning this problem, we put forward a kind of Stochastic Colored Petri Net (SCPN), analyzed the limitary and reachable, and proved that SCPN is same as a continuous time Markov chain. At the same time, this article also analyzed the methods for modeling and quantitive performance analysis that the Stochastic Petri Nets (SPN) used.