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

【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.更多还原