摘要： 多兵种联合作战指挥信息系统死锁防治是保障系统安全可靠的根本问题，也是有待解决的难点之一。该文提出一种描述指挥信息系统的形式化方法——Petri网模型，以抽取某级通信指挥系统与筹划作战方案的智能运作模型为实例，系统归纳了模型抽取方法，进而提出其死锁防治算法DLPCA，它能够防止系统出现的死锁等弊端，为组建一体化信息系统提供可靠的理论基础。经仿真试验，算法是有效可行的，在系统较长时间的工作中，可将死锁的次数减少50%左右。

关键词: Petri网模型, 信息系统, 作战指挥, 死锁防治

Abstract: 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. This 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, 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 about 50%.

Key words: Petri net model, information system, battle command, prevention and cure of deadlock

中图分类号: 

• TP393