着色Petri网的结构展开方法  

Unfolding the basic structure of colored Petri nets

作　　者：宋阿妮[1] 王明哲[1] 郭法滨[1] 倪枫[1] 

机构地区：[1]华中科技大学控制科学与工程系,武汉430074

出　　处：《系统工程理论与实践》2011年第2期315-322,共8页Systems Engineering-Theory & Practice

基　　金：国家自然科学基金(60874068)

摘　　要：为提升着色Petri网的设计分析与模型检验能力,讨论了着色Petri网的结构化展开技术.以着色Petri网的令牌单元和绑定单元为基元,通过对着色Petri网展开为普通Petri网的等价性证明,提出了基于着色Petri网关联矩阵和标准元语言的展开规则和规范化步骤.研究结果为着色Petri网到普通Petri网的自动转换过程和着色Petri网验证提供了有力支持.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.

关 键 词：着色PETRI网 普通Petri网 关联矩阵 展开 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]