高级Petri网:基于ISO/IEC15909的理解

摘要：

ISO/IEC15909从构成角度给出了高级Petri网的定义,对其的理解分为结点、扩展、关联矩阵和初始标识四个层次.高级Petri网的本质特征是扩展域D和扩展映射Type,二者的不同取值衍生了着色Petri网、谓词/变迁网和时间Petri网等类型。高级Petri网实际上是”高层Petri网”.高级Petri网图形是对库所/变迁网图形的折叠,具体方法是减少图元数量而增加图元信息.高级Petri网图形的结构可概括为”三类图元及其注释”。

关键词： 高级Petri网 高级Petri网图形 ISO标准 图元信息 关联矩阵 初始标识

作者: 黄映辉 李冠宇

作者单位: 大连海事大学计算机学院 辽宁大连 116026

会议类型: 国内会议

会议名称: 第十一届全国Petri网理论与应用学术年会

会议地点: 大连

会议语种:中文

页码: 49-51

在线出版日期: 2007-08-01（万方平台首次上网日期，不代表论文的发表时间）