其中，可达性就是研究系统可能达到的状态和状态间的关系，状态和状态之间是用变迁连接的。Petri网系统最基本的行为性质是可达性，除了可达性，还有可逆性、有界性、活性、可覆盖性、公平性等，这些行为特征的研究都可转化为可达性的研究。可达性决定着系统是否其有活性，能否达到一个特定的状态，以保证整个系统的安全性。

好的系统模型不仅要有充分的模拟能力和丰富的分析方法，还应该便于使用。越来越多的人转而采用Petri网，原因就在于此。随着研究的不断深入，Petri网理论也在不断地充实和完善，其抽象和描述能力也不断的朝着横向纵向发展。它的纵向扩展表现为：从基本的条件/事件(C/E)网，位置变迁(P/T)网，发展到谓词/变迁网和着色网等高级网。它的横向扩展表现为：从无参数的网，发展到时间Petri网和随机Petri网。

Petri网是一种可用图形表示的数学对象，借助数学开发的Petri网的分析方法既可以用于静态的结构分析，又可以用于动态的行为分析。Petri网丰富而深刻的理论使它有别于其他任何系统模型，Petri网的发展必将为信息论奠定下坚实的理论基础。