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