着色Petri网的结构展开方法

作     者：宋阿妮 王明哲 郭法滨 倪枫 SONG A-ni;WANG Ming-zhe;GUO Fa-bin;NI Feng

作者机构：华中科技大学控制科学与工程系武汉430074 

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

出 版 物：《系统工程理论与实践》 (Systems Engineering-Theory & Practice)

年 卷 期：2011年第31卷第2期

页      码：315-322页

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

主 题 词：着色Petri网 普通Petri网 关联矩阵 展开 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 081104[081104] 08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203773291...