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

摘要：

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

关键词： 面向对象 软件开发 Petri网模型 建模方法

作者: 杨武 文守逊 曹泽瀚

作者单位: 重庆工学院计算机系(重庆);重庆大学计算机学院(重庆)

会议类型: 国内会议

会议名称: 2002全国软件与应用学术会议(NASAC)

会议地点: 北京

会议语种:中文

页码: 316-322

在线出版日期: 2002-10-01（万方平台首次上网日期，不代表论文的发表时间）