%0 Journal Article
%T 着色petri网的结构展开方法
%J 系统工程理论与实践
%P 315-322
%D 2011
%X ？为提升着色petri网的设计分析与模型检验能力,讨论了着色petri网的结构化展开技术.以着色petri网的令牌单元和绑定单元为基元,通过对着色petri网展开为普通petri网的等价性证明,提出了基于着色petri网关联矩阵和标准元语言的展开规则和规范化步骤.研究结果为着色petri网到普通petri网的自动转换过程和着色petri网验证提供了有力支持.
%K 着色petri网
%K 普通petri网
%K 关联矩阵
%K 展开
%U http://www.sysengi.com/CN/abstract/abstract109363.shtml