1. Unified modeling language specification version 2.5.1, December 2017
2. Bertrand, N., et al.: Stochastic timed automata. arXiv (2014)
3. Lecture Notes in Computer Science;L Carnevali,2011
4. Lecture Notes in Computer Science;PR D’Argenio,2016
5. German, R., Logothetis, D., Trivedi, K.S.: Transient analysis of Markov regenerative stochastic petri nets: a comparison of approaches. In: Petri Nets and Performance Models, pp. 103–112. IEEE (1995)