Dependability Analysis of Safety Critical Real-Time Systems by Using Petri Nets

Lalit Kumar Singh, Hitesh Rajput. Dependability Analysis of Safety Critical Real-Time Systems by Using Petri Nets. IEEE Trans. Contr. Sys. Techn., 26(2):415-426, 2018. [doi]

Abstract

Abstract is missing.