whl-hl

摘要： SPN：即给P/T网的每个transition关联一个实施速率(firing rate)而得到的模型。一个SPN 同构于 一个连续时间MCSPN的每个Marking 映射成 MC的一个状态SPN的可达图 同构于 一个MC的状态空间构造SPN可达图和MC之间同构的关键因素：1、变迁实施速率的指数分布所导致的无记忆性；2、Marking的可数性；由SPN可达图->易得->MC转移速率矩阵的参数->故可算->MC的每个状态的稳定状态下的稳定概率->进而->分析一些性能指标 如 place中标记概率密度：反映系统部件的利用率； 变迁的利用：反映系统吞吐量和延时SPN 阅读全文