论文部分内容阅读
无界Petri网目前使用有限可达树来进行可达性分析，但尚未彻底解决，主要问题在于树中虚假状态信息的存在。针对此问题，提出了一种新型可达树———精准有限可达树（Exact Finite Reachability Tree，EFRT），保证了树中没有增加虚假的可达状态信息，并且在树的继续生长中没有丢失任何状态信息，将为可达性问题的研究提供一种新思路与新方向。