论文部分内容阅读
Petri网作为一种有完备自动化理论的形式描述语言，既有严格的数学表述方式，也有直观的图形表达方式。在科学研究与实践工程中得到了广泛运用。Petri网自身也在不断的变化发展之中，在基本Petri网的基础上，添加了很多新的语法特性，增强了Petri网的描述能力。新特性的加入在丰富了语义概念的同时，也带来了兼容性、完备性、一致性的问题，所以有必要对Petri网语义方面的研究做一个梳理．为今后研究角度的选取与内容的甄别做前期铺垫。本文综述了Petri网语义方面的研究现状，主要集中在Petri网语义的转换、扩充及