Elvio Gilberto Amparore, Peter Buchholz 0001, Susanna Donatelli. Great-Nsolve: A Tool Integration for (Markov Regenerative) Stochastic Petri Nets. In David Parker 0001, Verena Wolf, editors, Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings. Volume 11785 of Lecture Notes in Computer Science, pages 355-360, Springer, 2019. [doi]
Abstract is missing.