论文部分内容阅读
对数学和图形进行描述和分析的工具很多，但能用良好的数学性质把一些复杂的现象（例如，同步、并发、分布、冲突、资源共享等）描述的直观、生动形象的工具很少，而Petri网就具有这些优点。在分布式系统、信息系统、离散事件系统等领域，都可以利用Petri网对离散事件动态系统建模、规范分析和设计，而且非常好。Petri网有很多分析方法，文章就作简要概述。