基于时间Petri网的潜在定时分析

作者：刘勇志; 刘丙杰时间petri网潜在定时分析潜在通路分析安全性

摘要：针对潜在定时分析研究的现状,以及时间Petri网与潜在定时分析的共性,提出了基于时间Petri网的潜在定时分析方法。将Petri网模型分为五种基本模式,并分别定义了五种基本模式的变迁条件和变迁规则。通过Petri网的可达标识集与设计状态之间的关系找到潜在通路。两个实例的仿真分析结果与实际一致,证实了方法的有效性和正确性。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社