基于时间Petri网的实时嵌入式软件系统安全性分析

本文介绍了时间Petri网模型在实时嵌入式软件系统的安全性分析中的应用,并通过一个实例介绍了时间Petri网的动态分析法,最后给出了相应方法的具体措施。