一种基于Petri网的指控信息网死锁的检测方法

• 作者: 张力 慕晓冬 董莹
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: Petri网 指控信息网 死锁 检测
• 年，卷（期）: 2009,（8）
• 所属期刊栏目: 网络与通信
• 页码范围: 195-196,250
• 页数: 3页
• 分类号: TP3
• 字数: 2023字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2009.08.066

摘要

Petri网的理论方法在并发异步通信控制中已得到广泛的应用,但在其相关的指控信息网中,死锁的检测与排除仍然是人们关注的重点和热点之一.提出一种基于Petri网的指控信息系统死锁的检测方法.其主要做法是:先将信息系统规范化整理后,采用Petri网理论抽取其数学模型,再将该模型进行规范化整理.从转移操作的线性排队中,逐个搜索,找出其信息输入的条数,并造表统计.然后对每一条进行逆向搜索,若发现任一处信息断链,则该转移操作有可能发生死锁;否则认为通达,该转移是活的.经应用结果统计分析,该方法可有效地应用在信息系统的规划中,将产生死锁的次数减少89%以上.存在的主要问题是如何尽量的优化减少搜索路线,力求做到能覆盖所有的路线.该项研究具有一定的理论意义和应用价值.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张力		18	84	5.0	8.0
2	慕晓冬		64	234	8.0	9.0
3	董莹		3	8	2.0	2.0