SML语义检验的着色Petri网展开算法

摘要

为解决着色Petri网(Colored Petri Nets,CPN)在大型复杂系统工程应用中的结构分析问题,提出着色Petri网的展开算法.在基于Petri网的命题逻辑表示方法的基础上,讨论CPN标准元语言(Standard Meta Language,SML)的语义解析,提出了将CPN转换为普通Petri网(Ordinary Petri Nets,OPN)的一般步骤和基于SML语义检验的展开算法.列举实例并使用运行支持平台验证该算法高效可行,利于CPN模型结构分析方法在复杂工程应用中的推广.