| 高级Petri网：基于ISO/IEC15909的理解 |
| |
| 引用本文： | 黄映辉 李冠宇. 高级Petri网：基于ISO/IEC15909的理解[J]. 系统仿真学报, 2007, 19(A01): 49-51 |
| |
| 作者姓名： | 黄映辉 李冠宇 |
| |
| 作者单位： | 大连海事大学计算机学院,辽宁大连116026 |
| |
| 基金项目： | 国家自然科学基金项目（60672031） |
| |
| 摘 要： | ISO/IEC15909从构成角度给出了高级Petri网的定义,对其的理解分为结点、扩展、关联矩阵和初始标识四个层次。高级Petri网的本质特征是扩展域D和扩展映射Type,二者的不同取值衍生了着色Petri网、谓词/变迁网和时间Petri网等类型。高级Petri网实际上是＂高层Petri网＂。高级Petri网图形是对库所/变迁网图形的折叠,具体方法是减少图元数量而增加图元信息。高级Petri网图形的结构可概括为＂三类图元及其注释＂。
|
| 关 键 词： | 高级Petri网 高级Petri网图形 ISO标准 图元 注释 |
| 文章编号： | 1004-731X（2007）S1-0049-03 |
| 收稿时间： | 2007-05-10 |
| 修稿时间： | 2007-06-30 |
High-level Petri Net- Understanding Based on ISO/IEC15909 |
| |
| HUANG Ying-hui, LI Guan-yu. High-level Petri Net- Understanding Based on ISO/IEC15909[J]. Journal of System Simulation, 2007, 19(A01): 49-51 |
| |
| Authors: | HUANG Ying-hui LI Guan-yu |
| |
| Abstract: | |
| |
| Keywords: | HLPN HLPNG ISO standard graph element annotation |
| 本文献已被 维普 等数据库收录！ |
