Publisher
Springer Nature Switzerland
Reference21 articles.
1. Amengual, A.: A specification of a hybrid petri net semantics for the HISim simulator. Tech. rep, International Computer Science Institute (2009)
2. Berthomieu, B., Vernadat, F.: Time petri nets analysis with TINA. In: Proceedings of QEST 2006, pp. 123–124. IEEE Computer Society (2006)
3. Buchmann, A., Dutz, C., Kounev, S.: QPME- queueing petri net modeling environment. In: Proceedings of QEST2006, pp. 115–116 (2006)
4. Lecture Notes in Computer Science;J Byg,2009
5. Carnevali, L., Paolieri, M., Vicario, E.: The ORIS tool: app, library, and toolkit for quantitative evaluation of non-Markovian systems. SIGMETRICS Perform. Evaluation Rev. 49(4), 81–86 (2022)