论文研究智能坐便器嵌入式控制系统设计与实现.pdf

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