一种分析作战指控并发信息流的Petri网模型

目的对军事指挥控制系统进行评估和仿真。方法建立了一种描述系统的Petri网模型,进而分析在并发信息流中产生死锁的关节所在。结果为从理论上研究指控系统的效能、发现和排解死锁以及系统的评估和仿真等提供了可靠的根据,有效地保证了对系统的应用与研究。结论经部队仿真演习试用,效果良好,对于提高部队应急反应能力与组建新的指控系统具有重要的价值。