【摘要】众所周知,Petri网以其图形化的表现形式、众多的分析方法和坚实的数学基础,成为研究离散事件系统的建模工具之一。尽管众多学者对Petri网进行研究并取得了很多成果,但仍然存在着一个世界性难题——可达性问题。系统的可达性是其所有性质中最基本的。因为在很大程度上,我们都可以用可达性来分析其他的一些相关性质,比如有界性、可覆盖性、可逆性、活性、死锁等。Petri网的可达树可以表示标识和变迁的实施 […]