论文部分内容阅读
Petri网是对离散并行系统的数学表示,既有严格的数学表达方式,又有直观的图形表达方式,适合于描述异步并发、分布式和不确定计算机系统模型。Petri网理论在制造系统与工作流建模中的应用是当今研究的热点。本文在介绍Petri网基本概念的基础上,对制造系统中各类网模型的应用进行了总结,重点阐述了基于着色Petri网的工作流建模语言对当前流行的工作流模式的支持情况。