论文部分内容阅读
图灵机模型是计算机的理论模型，它能实现模型相互之间的模拟，但应用于通信系统等异步、并行的复杂系统却很难模拟，从而引入了一种建模工具——Petri网。通过介绍自动机和图灵机的原理，分析Petri网，给出一个具体的基于Petri网建模方式的实例，并对实例模型和现有的建模工具进行比较，从而证明Petri网在复杂系统建模中是处于优势的。