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

【文件属性】：

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

文件大小：735KB

文件格式：PDF

更新时间：2022-09-26 15:09:26

论文研究

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