基于Petri网的指挥信息系统死锁防治算法
多兵种联合作战指挥信息系统死锁防治是保障系统安全可靠的根本问题,也是有待解决的难点之一。该文提出一种描述指挥信息系统的形式化方法——Petri网模型,以抽取某级通信指挥系统与筹划作战方案的智能运作模型
2024-01-29
2