标题：基于有色Petri网的催化裂化分馏系统信息安全验证
作者：滕诗雅 梁旭清 刘璐 周纯杰
作者单位：华中科技大学人工智能与自动化学院，湖北 武汉 430074
关键字：催化裂化分馏系统；信息安全验证；有色Petri网
摘要：催化裂化分馏系统智能化转型的同时也面临更大的信息安全威胁，而信息安全验证聚焦网络攻击下系统的安全性能研究，能降低系统的安全风险。根据系统的安全需求提出一种融合系统理论过程分析和有色Petri网的安全验证分析框架。首先通过系统理论过程分析提取完备的安全约束；然后基于有色Petri网构建逻辑与行为精准的安全验证模型；最后，以简化系统为对象进行安全验证。实验结果证明了所提框架能有效验证安全约束触发行为与系统安全性能之间的潜在关联。