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.