标题：广义无界Petri网的新型有限可达树研究
作者：余晓龙
作者单位：东南大学自动化学院，江苏 南京 210096
关键字：无界Petri网，新型可达树，可达性问题
摘要：无界Petri网目前使用有限可达树来进行可达性分析，但尚未彻底解决，主要问题在于树中虚假状态信息的存在。针对此问题，提出了一种新型可达树——精准有限可达树（Exact Finite Reachability Tree，EFRT），保证了树中没有增加虚假的可达状态信息，并且在树的继续生长中没有丢失任何状态信息，将为可达性问题的研究提供一种新思路与新方向。