一种面向对象Petri网模型的语义和行为分析

摘要：

面向对象Petri网根据面向对象思想的特点,对基本Petri网进行了扩展,引入了门、位置类型函数、多态迁移、聚集迁移以及禁止弧等概念.本文介绍了一种面向对象Petri网模型(Object-Oriented Petri Net,OOPN),给出了OOPN的基本定义和图形表示,并对OOPN进行了语义与行为分析.OOPN能够成为面向对象系统的一种形式化的建模工具.

关键词：Petri、面向对象、建模

所属期刊栏目：32

分类号：TP31(计算技术、计算机技术)

在线出版日期：2005-11-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：219-221