随机petri网 whl

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的实施时间为零)

原文地址:https://www.cnblogs.com/whl2012/p/2879183.html