Petri网分布式仿真中的冲突问题及解决方法

Petri网是一种强大的建模工具,由于其并发的特性,很适用于采用分布式仿真技术以提高其仿真效率。冲突是Petri网仿真中一种常见现象,串行仿真下,冲突有很多成熟的解决方法,而在分布式仿真环境下,各个仿真成员信息的不完整性为冲突的解决带来了困难。给出了一种基于高层体系结构(HLA)的Petri网分布式仿真中冲突问题的解决方法,通过引入一个特别的联邦来预测、检测和消除可能出现的冲突。实验表明这种方法能有效解决分布式冲突问题。

Conflicts in Petri Net Distributed Simulation and Solution

Petri net is a powerful modeling tool and is very suitable for distributed simulation to improve efficiency because of its concurrency. Conflict is a common problem in Petri net simulation. In sequential simulation of Petri nets, there are many good methods to solve the conflict problem, but in distributed simulation, this problem becomes very complex because the simulation members that are distributed in different computing nodes probably do not have complete state information of whole nets. A solution to conflict problem in the HLA-based distributed simulation of Petri nets was proposed. A special federate was designed to predict, detect and eliminate the possible conflicts. The solution is proved to solve the distributed conflict effectively by experiments.