论文部分内容阅读
针对随机Petri网（SPN）在系统性能分析时，其状态空间随着系统规模增大而指数性增长，造成求解稳定状态概率的复杂性的不足，提出了一种随机着色Petri网（SCPN）。分析了它的有界性和可达性，证明了它同构于一个一维连续时间的马尔可夫链；同时，也分析了随机着色Petri网用于建模和系统性能定量分析的方法。