一种面向对象Petri网模型的定义与分析

摘要

本文将Petri网理论与面向对象技术紧密结合,根据面向对象思想的特点对基本Petri网进行了扩展,引入了门、位置类型函数、多态迁移、聚集迁移以及禁止弧等概念,定义了一类高级Petri网即面向对象Petri网模型(Object-Oriented Petri Net,简称为OOPN),并对该模型进行了分析与行为验证,OOPN能够成为面向对象系统的一种一致的、形式化的建模工具.