无界Petri网的可达树的综述

• 作者: 周孟初 干梦迪 李俊 李月 王寿光
• 来源期刊: 自动化学报
• 关键词: 无界Petri网 可达树 可达性问题 离散事件系统
• 年，卷（期）: 2015,（4）
• 页码范围: 686-693
• 页数: 8页
• 字数: 4538字
• 语种: 中文
• DOI: 10.16383/j.aas.2015.c140097

摘要

Petri 网自提出以来得到了学术界和工业界的广泛关注。 Petri 网系统的可达性是最基本性质之一。系统的其他相关性质都可以通过可达性进行分析。利用等价的有限可达树来研究无界Petri 网可达性，依然是一个开放性问题。该研究可以追溯到40年前，但由于问题本身的复杂性和难度太大，直到最近20年，经过国内外诸多学者的不懈努力，才逐渐取得了一些阶段性的成果和部分突破。本文回顾了近40年来国内外学者为彻底解决该问题作出的贡献。重点对4种开创性的研究成果展开讨论，分别为有限可达树、扩展可达树、改进可达树及新型改进可达树。探讨了今后无界Petri网可达性问题的研究方向。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王寿光	浙江工商大学信息与电子工程学院	8	23	3.0	4.0
2	李俊	东南大学自动化学院	32	314	8.0	17.0
3	干梦迪	浙江工商大学信息与电子工程学院	1	7	1.0	1.0
7	李月	浙江工商大学信息与电子工程学院	1	7	1.0	1.0