论文部分内容阅读
先行值计算是提高时延Petri网并行模拟性能的一个好的方法。给出了时延Petri网的先行值计算的四种基本结构，对于存在循环的复杂的Petri网结构给出了预测图算法，通过预测图，能够很容易求出静态和动态先行值，在并行模拟中利用先行值可以分析出存在并发和阻塞的结构，从而为网分块在并行机的结点上运行奠定了基础。