时延Petri网分布式模拟的先行值研究

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

TCPN的分布式仿真方法

时间限制Ｐｅｔｒｉ网容许对建模系统对象反映其资源和活动的有效期特性，其特殊的仿真模型要求能够描述令牌空闲、被占用、被释放、被移出和已死各种状态。本文对库所和变迁节点进行了模块化分解，拓宽了ＴＣＰＮ的建模能力。在此基础上。