利用改进可达树检查一库所无界Petri网的死锁

• 作者: 卢从慧 汤利杰 郭大江
• 来源期刊: 电脑与电信
• 学科: 工学
• 关键词: Petri网 改进可迭树 死锁 活性 可达性
• 年，卷（期）: 2012,（1）
• 所属期刊栏目: 学术探讨
• 页码范围: 37-38,55
• 分类号: TP393
• 字数: 2986字
• 语种: 中文
• DOI: 10.3969/j.issn.1008-6609.2012.01.029

摘要

Petri网的可达树是一个基础的强有力的分析方法和工具，它可以用来分析各种性能，包括活性、有界性、保持性、可达性和可覆盖性。本文主要利用改进可达树对Petri网的活性和可达性进行分析研究，并基于改进可达树的算法实现对一库所无界Petri网进行死锁检测。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭大江		18	35	4.0	5.0
2	卢从慧		2	4	1.0	2.0
3	汤利杰		1	1	1.0	1.0