含有效冲突的恒定连续Petri网演变图及构造算法

最大速度恒定的连续Petri网(CCPN)是由David首先提出的一类时延连续Petri网模型,构造其演变图是对其性质进行分析的一种有效方法。而对于含有效冲突的最大速度恒定的连续Petri网,由于有效冲突所引起的变迁激发的不确定性,使得构造演变图变得较为困难。基于有效冲突的两种解决方式——确定优先级或按比例分配流量,给出了计算各变迁瞬发速度的算法2;进而对含有效冲突且有界的CCPN,提出了演变图构造算法3,利用其演变图,可以对含有效冲突的CCPN进行性能分析。