Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability

Ivan Mura, Andrea Bondavalli. Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability. IEEE Transactions on Computers, 50(12):1337-1351, 2001. [doi]

Abstract

Abstract is missing.