摘要：SPN给P/T网的每个transition关联一个实施速率(firing rate)而得到的模型GSPNGeneralized stochastic petri nets,广义随机Petri网 其提出为缓解状态爆炸提供了一种途径，是SPN的一种扩充，状态空间较相同问题的SPN有所减少。 将transition分为两类：1、瞬时transition，与随机开关相关联 且实施延时为零；2、时间transition，与指数随机分布的实施延时相关联；SRNStochastic reward net,随机回报网 是GSPN的一种扩充 ，允许系统性能测量可以用回报定义形式表达。DSPNDeterminis 阅读全文

摘要：petri网中的可达树，可达图非常重要，现总结算法如下：Petri网可覆盖性树的构造算法1Petri网可覆盖性树的构造算法2 阅读全文

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

摘要：一 网与子网definition 1：网N = (S,T;F)1）S_元，库所，位置 -> place ->　圆圈2）T_元，变迁 ->　transition -> 矩形3）流关系 ->　flow relation -> 有向边definition 2：x的前集 or 输入集x的后集 or 输出集x的外延definition 3：1）纯网（pure net）:不含自环的网2）简单网（sample net）3）T-图（T-graph）4）S-图（S-graph）5）自由选择网（free-choice net）6）扩充的自由选择网（extended free-c 阅读全文