一种随机着色Petri网及模型的性能分析

Performance analysis of new stochastic colored Petri nets

针对随机Petri网(SPN)在系统性能分析时,其状态空间随着系统规模增大而指数性增长,造成求解稳定状态概率的复杂性的不足,提出了一种随机着色Petri网(SCPN)。分析了它的有界性和可达性,证明了它同构于一个一维连续时间的马尔可夫链;同时,也分析了随机着色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.