作者:杨武; 李晓渝; 曹泽瀚petri面向对象建模petri网模型面向对象思想行为分析语义面向对象petri网面向对象系统oopn图形表示基本定义
摘要:面向对象Petri网根据面向对象思想的特点,对基本Petri网进行了扩展,引入了门、位置类型函数、多态迁移、聚集迁移以及禁止弧等概念.本文介绍了一种面向对象Petri网模型(Object-Oriented Petri Net,OOPN),给出了OOPN的基本定义和图形表示,并对OOPN进行了语义与行为分析.OOPN能够成为面向对象系统的一种形式化的建模工具.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社