论文部分内容阅读
针对SSA技术存在的缺陷，根据软件系统与Petri网的相似之处，提出了基于Petri网的SSA技术。首先概述了SSA技术的发展现状，然后定义了一类扩展时间Petri网，定义了软件的设计矩阵和Petri网的可达状态矩阵，通过比较设计矩阵与可达状态矩阵找到软件潜在状态。仿真分析证实了方法的有效性和可行性，最后提出了SSA技术有待解决的问题。