1. Model Checking Contest 2023. https://mcc.lip6.fr/2023/models.php. Accessed 28 Nov 2022
2. SMART: Stochastic Model-checking Analyzer for Reliability and Timing. https://asminer.github.io/smart/. Accessed 28 Nov 2022
3. Adobbati, F., Bernardinello, L., Kilinç Soylu, G., Pomello, L.: Information flow among transitions of bounded equal-conflict Petri nets. In: Köhler-Bussmeier, M., Moldt, D., Rölke, H. (eds.) Petri Nets and Software Engineering 2022, Bergen, Norway. CEUR Workshop Proceedings, vol. 3170, pp. 60–79. CEUR-WS.org (2022). http://ceur-ws.org/Vol-3170/paper4.pdf
4. Adobbati, F., Bernardinello, L., Pomello, L.: A two-player asynchronous game on fully observable Petri nets. Trans. Petri Nets Other Model. Concurr. 15, 126–149 (2021). https://doi.org/10.1007/978-3-662-63079-2_6
5. Adobbati, F., Kılınç Soylu, G., Puerto Aubel, A.: A finite prefix for analyzing information flow among transitions of a free-choice net. IEEE Access 10, 38483–38501 (2022). https://doi.org/10.1109/ACCESS.2022.3165185