基于Petri网的指挥信息系统死锁防治算法

• 作者: 张力 慕晓冬 赵宗涛
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: Petri网模型 信息系统 作战指挥 死锁防治
• 年，卷（期）: 2009,（1）
• 所属期刊栏目: 人工智能及识别技术
• 页码范围: 159-161
• 页数: 3页
• 分类号: TP393
• 字数: 2931字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2009.01.054

摘要

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