随机petri网

SPN：即给P/T网的每个transition关联一个实施速率(firing rate)而得到的模型。

---

一个SPN 同构于 一个连续时间MC
SPN的每个Marking 映射成 MC的一个状态
SPN的可达图 同构于 一个MC的状态空间

---

构造SPN可达图和MC之间同构的关键因素：
1、变迁实施速率的指数分布所导致的无记忆性；
2、Marking的可数性；

---

由SPN可达图
->易得->MC转移速率矩阵的参数
->故可算->MC的每个状态的稳定状态下的稳定概率
->进而->分析一些性能指标

如
　　place中标记概率密度：反映系统部件的利用率；
　　变迁的利用：反映系统吞吐量和延时

---

SPN作用：
1、性能分析；
2、做P/T网上所能完成的系统模型分析；
（原因：SPN与相对应的P/T网拥有的可达图完全相同。P/T网为SPN的一个特殊子类，即所有transition的实施时间为零）