petri网学习笔记--stochastic petri net分类
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的实施延时既可为常数，也可为指数分布的随机变量。
