SPN
给P/T网的每个transition关联一个实施速率(firing rate)而得到的模型
GSPN
Generalized stochastic petri nets,广义随机Petri网
其提出为缓解状态爆炸提供了一种途径,是SPN的一种扩充,状态空间较相同问题的SPN有所减少。
将transition分为两类:
1、 瞬时transition,与随机开关相关联 且实施延时为零;
2、 时间transition,与指数随机分布的实施延时相关联;
SRN
Stochastic reward net,随机回报网
是GSPN的一种扩充 ,允许系统性能测量可以用回报定义形式表达。
DSPN
Deterministic and stochastic petri net,确定于随机Petri网
是GSPN的一种扩充,允许时间transition的实施延时既可为常数,也可为指数分布的随机变量。