| 着色Petri网的结构展开方法 |
| |
| 引用本文： | 宋阿妮,王明哲,郭法滨,倪枫.着色Petri网的结构展开方法[J].系统工程理论与实践,2011,31(2):315-322. |
| |
| 作者姓名： | 宋阿妮 王明哲 郭法滨 倪枫 |
| |
| 作者单位： | 华中科技大学 控制科学与工程系,武汉 430074 |
| |
| 摘 要： | 为提升着色Petri网的设计分析与模型检验能力,讨论了着色Petri网的结构化展开技术.以着色Petri网的令牌单元和绑定单元为基元,通过对着色Petri网展开为普通Petri网的等价性证明,提出了基于着色Petri网关联矩阵和标准元语言的展开规则和规范化步骤.研究结果为着色Petri网到普通Petri网的自动转换过程和着色Petri网验证提供了有力支持.
|
| 关 键 词： | 着色Petri网 普通Petri网 关联矩阵 展开 |
| 收稿时间： | 2009-9-13 |
Unfolding the basic structure of colored Petri nets |
| |
| SONG A-ni,WANG Ming-zhe,GUO Fa-bin,NI Feng.Unfolding the basic structure of colored Petri nets[J].Systems Engineering —Theory & Practice,2011,31(2):315-322. |
| |
| Authors: | SONG A-ni WANG Ming-zhe GUO Fa-bin NI Feng |
| |
| Institution: | Department of Control Science & Engineering, Huazhong University of Science & Technology, Wuhan 430074, China |
| |
| Abstract: | The design analysis and model check in concurrent system engineering has proved to be one of the most vexing practical problems. Unfolding the Basic Structure of Colored Petri Nets is discussed in this paper in order to use the structural analyses of Ordinary Petri Nets as reference to enhance the analyses ability of Colored Petri Nets. Via the equivalence proof, and taking the token elements and binding elements as basic elements, unfolding rules and unfolding algorithm are presented based on incidence matrix and Standard Meta Language. The results of this study offer a powerful support for the automatic unfolding process of model systems from Colored Petri Nets to Ordinary Petri Nets and Colored Petri Nets model check. |
| |
| Keywords: | colored Petri nets ordinary Petri nets incidence matrix unfolding |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《系统工程理论与实践》浏览原始摘要信息 |
| 点击此处可从《系统工程理论与实践》下载免费的PDF全文 |
