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

Ivan Mura Andrea Bondavalli

Published in: IEEE Trans. Computers (2001)

Keyphrases

management system
probabilistic model
markov model
expert systems
computational model
statistical model
prior knowledge
cost function
markov chain
model selection
complex systems
formal model
neural network model
markov process
data sets
experimental data
mathematical model
theoretical framework