A new algorithm,HTPN based Hierarchically Timed Tree(HTT),was presented to implement the analysis and verification of static and dynamic availability.

• 在时间方面,提出了基于层次时间Petri网工作流模型的层次时间树算法,并给出了时间可达性的静态和动态分析与验证方法。