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

摘要：

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

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

所属期刊栏目：35

分类号：TP393(计算技术、计算机技术)

资助基金：国家部委预研基金

在线出版日期：2009-03-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：159-161