文件名称：论文研究-着色Petri网的结构展开方法.pdf
文件大小：735KB
文件格式：PDF
更新时间：2022-10-10 10:12:49
论文研究
论文研究-着色Petri网的结构展开方法.pdf, 为提升着色Petri网的设计分析与模型检验能力,讨论了着色Petri网的结构化展开技术.以着色Petri网的令牌单元和绑定单元为基元,通过对着色Petri网展开为普通Petri网的等价性证明,提出了基于着色Petri网关联矩阵和标准元语言的展开规则和规范化步骤.研究结果为着色Petri网到普通Petri网的自动转换过程和着色Petri网验证提供了有力支持.