广义无界Petri网的新型有限可达树研究

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