着色petri网的结构展开方法

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