具有测试弧的确定与随机Petri网

将测试弧引入具有确定和随机时延的确定与随机Petri网DSPN系统,并给出了此DSPN系统的定义及其变迁实施条件和实施后果。这不仅增强了Petri网的描述能力,而且为Petri网的理论分析奠定了基础。