一个基于HOOPN的Petri网模型及其应用

介绍了面向对象的层次Petri网HOOPN的基本定义、语法和图形表示 .HOOPN支持主要的面向对象的特征 ,包括抽象、封装、模块化对象、继承和多态 .HOOPN可以展开至下一层Petri网 ,从而支持系统设计的渐增模式 .使用HOOPN建立了一个信息系统的模型 ,验证了HOOPN对面向对象特征的支持 ,并为一个企业信息应用系统和业务过程建模提供了范例 .

基于分层面向对象Petri网的软件建模方法研究

为了增加和扩展Petri网的表现能力,提出了一种分层的面向对象Petri网HOOPN,并且对HOOPN的正式的语法和语义进行了详细的阐述。HOOPN建模方法在很大范围上支持面向对象的抽象、封装、继承和多态等典型特征。HOOPN同样也支持很多的建模和分析机制,最后的应用实例建模与分析证明了HOOPN的有效性。