Armin Zimmermann. Reliability modelling and evaluation of dynamic systems with stochastic Petri nets (tutorial). In Andras Horvath, Peter Buchholz, Vittorio Cortellessa, Luca Muscariello, Mark S. Squillante, editors, 7th International Conference on Performance Evaluation Methodologies and Tools, ValueTools '13, Torino, Italy, December 10-12, 2013. pages 324-327, ACM, 2013. [doi]
Abstract is missing.