联锁逻辑模型可靠性分析

可靠性是开发联锁软件的重要依据之一,为了提高系统的性能,选择合理的可靠性分析模型很重要。本文在联锁软件的时间Petri模型基础上,从路径分析出发,结合Petri网动态描述与分析等特点,提出了一种联锁软件可靠性分析方法。