1. Ajmone Marsan, M., Balbo, G.., Bobbio, A., Chiola, G., Conte, G., Cumani, A.: The effect of execution policies on the semantics and analysis of stochastic Petri nets. IEEE Trans. Softw. Eng. SE-15(7), 832–846 (1989)
2. Boyer, M., Diaz, M.: Multiple enabledness of transitions in Petri nets with time. In: Proceedings of 9th International Workshop on Petri Nets and Performance Models. Aachen, Germany, Sept 2001
3. Bonet, P., Lladó, C.M., Puijaner, R., Knottenbelt, W.J.: Pipe v2. 5: a Petri net tool for performance modelling. In: Proceedings of the 23rd Latin American Conference on Informatics (2007)
4. Boucheneb, H., Lime, D., Roux, O.H.: On multi-enabledness in time Petri nets. In: PETRI NETS 2013: Application and Theory of Petri Nets and Concurrency, pp. 130–149 (2013)
5. Baarir, S., Beccuti, M., Cerotti, D., De Pierro, M., Donatelli, S., Franceschinis, G.: The GreatSPN tool: recent enhancements. ACM SIGMETRICS Perform. Eval. Rev. 36(4), 4–9 (2009)