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

摘要

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