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

针对高空救援车作业臂回转机构的特点,设计了回转机构减速器液压制动器的结构,介绍了其工作原理,结合高空救援车的功能特性及设计要求,给出了制动系统中制动器摩擦片参数、制动器弹簧选型及参数的计算方法,为工程机械减速器制动器的设计提供了实际基础数据。使用该设计方法,能够保证制动器安全、灵活的使用要求,经实践证明,可以有效提高高空救援车作业臂回转机构减速器的产品性能,延长机械的使用寿命。