无界Petri网的可达树的综述

摘要：

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

关键词：无界Petri网、可达树、可达性问题、离散事件系统

分类号：TP3;O15

资助基金：Manuscript received February 19,2014;accepted May 15,2014国家自然科学基金61374148,61100056,61374069;浙江省杰出青年基金LR14F020001;浙江省科技计划项目2013C31111;浙江省新型网络标准与应用技术重点实验室2013E10012资助Supported by National Natural Science Foundation of China61374148,61100056,61374069;Zhejiang Natural Science Foundation for Distinguished Young ScholarLR14F020001;Zhejiang Science and Technology Project2013C31111;Zhejiang New Network Standard and Technology NNST Key Laboratory2013E10012

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

页数：共8页

页码：686-693