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

维普资讯 计算机科学2005Vo1．32No．10 一 种面向对象Petri网模型的语义和行为分析 杨 武ll 李晓渝 曹泽瀚 (重庆工学院计算机系 重庆 400050) (重庆大学计算机学院 重庆 400044) 摘 要 面向对象Petri网根据面向对象思想的特点，对基本 Petri网进行 了扩展，引入 了门、位置类型函数、多态迁 移、聚集迁移以及禁止孤等概念。本文介绍 了一种面向对象Petri网模型 (Objcet-OrientedPetriNet，00PN)，给出了 00PN的基本定义和图形表示，并对00PN进行 了语义与行为分析。00PN能够成为面向对象系统的一种形式化的 建模工具。 关键词 Petri，面向对象，建模 TheSemanticandBehavioralAnalysisofanObject-OrientedPetriNetsModel YANG Wu， LIXia~Yu CAO Ze-Han2 (DepartmentofComputerScience，ChongqingInstituteofIndustryandTechnology，Chongqing400050) (SchoolofComputer，ChongqingUniversity，Chongqing400030) AtIs自mct BasedonthetightcombinationofPetriNettheoryandObject-Orientedtechnology．aclassofhigh-levelPetd NetsnamedOOPN，i．e．O~cevOrientedPetriNets，iSdefinde，withextensionstonormalPetriNetssuchasgates， place-otkentypemapping，polymorphoustransitionsna docllectivetransitions．Thebasicdefinitionsna dgraphicaldeno— tationsreintroducde．Thesemnaticandbehavioralanalysisof0OPN iSgiven．OOPN canbeusedasformalmodeling toolforObject-Orientde Syster~ K蝴一- Petri，Object-Orientde，Modeling (OriginalTransitionSet)、多态迁移集(PolymorphousTrnasi— 1 引言 tionSet)和聚集迁移集 (CollectiveTrnasitionSet)；G= {GI， 面向对象技术在软件开发方面呈现出巨大的优越性并被 GO}是门，其中GI、GO 分别为输入门(InputGate)和输 出门 视为解决软件危机的突破 口。但是，面向对象技术在实践中， (OutputGate)；F是 (PX(TUG))U((TUG)XP)的有向弧 特别是在复杂系统的分析与设计中还面临许多待解决的问 集；FI是P×T的禁止弧集；S= {S。，S2，…，S}为标记类型 题。其中一个重要的问题就是需要找到能够严格地描述对象 有限集；是一个映射 ：P—S，称为位置类型函数 ；mo是一 和系统动态行为特征，支持对并发性的分析与设计并能进行 个映射mo：P—N，称为初始标记状态。 形式化分析的建模方法与工具。Petri网作为一种图形化 的