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

一种面向对象Petri网模型的定义与分析 杨武，文守逊，曹泽瀚 (重庆工学院计算机系．重庆400050) (重庆大学计算机学院，重庆400030) E-mail；yangwu@cqit．com．cu；czh@cqu．dcu．cn bttp：l!wwwcqit．COIn．cn 摘要：本文将Petri网理论与面向对象技术紧密结合，根据面向对象思想的特点对基本Petri网进行了扩展， 引入了门、位王类型函数、多态迁移、聚集迁移以及禁止孤等概念，定义了一类高级Petri网即面向对象 PetriNet，简称为OOPN)，并对谊模型进行了分析与行为验证·OOPN能 Petri网模型(Object—Oriented 够成为面向对象系统的一种一致的，形式化的建模工具。 关键词：Pet《：面向对象；建j粼 、 面向对象技术在软件开发方面呈现出巨