Diagnosis of Structural and Temporal Faults for <inline-formula> <tex-math notation="LaTeX">$k$ </tex-math></inline-formula>-Bounded Non-Markovian Stochastic Petri Nets

Diagnosis of Structural and Temporal Faults for --Bounded Non-Markovian Stochastic Petri Nets | IEEE Journals & Magazine | IEEE Xplore