Author:
Ballarini Paolo,Horváth András
Publisher
Springer International Publishing
Reference17 articles.
1. https://www.flexsim.com/
2. https://www.rockwellautomation.com/en-us/products/software/arena-simulation.html
3. Agha, G., Palmskog, K.: A survey of statistical model checking. ACM Trans. Model. Comput. Simul. 28(1) (2018)
4. Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. John Wiley & Sons, Hoboken (1995)
5. Angius, A., Horváth, A., Colledani, M.: Moments of accumulated reward and completion time in Markovian models with application to unreliable manufacturing systems. Perform. Eval. 75, 69–88 (2014)