The study of prevention and cure technology of deadlock for command system based Petri net

摘要

The prevention and cure of deadlock of command information system for united combat of multi-troops is the fundamental problem to ensure the safety and the reliability of system, it is also one of difficult problems to be solved. The paper puts up a kind of formal method which describes the command information system—Petri net model, giving an example of setting up intelligent running models of planning battle plan and brigade-level communication and command system, sums up the method of setting up models, then puts up its deadlock prevention and cure algorithm DLPCA, it can prevent deadlocks of system and provide reliable theory foundation for setting up integration information system. Through simulation test, the algorithm is proved to be effective and feasible, in longer period of system's working, the amount of deadlocks has been reduced by 50%.