Markov regenerative stochastic Petri nets with general execution policies: supplementary variable analysis and a prototype tool

From MaRDI portal
Publication:4779374