1. Adobbati, F., Bernardinello, L., Pomello, L.: An asynchronous game on distributed Petri nets. In: Moldt, D., Kindler, E., Wimmer, M. (eds.) Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23–28, 2019. CEUR Workshop Proceedings, vol. 2424, pp. 17–36. CEUR-WS.org (2019). http://ceur-ws.org/Vol-2424/paper2.pdf
2. Adobbati, F., Bernardinello, L., Pomello, L.: Asynchronous games on Petri nets and partial order. In: Cherubini, A., Sabadini, N., Tini, S. (eds.) Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9–11, 2019. CEUR Workshop Proceedings, vol. 2504, pp. 139–144. CEUR-WS.org (2019). http://ceur-ws.org/Vol-2504/paper17.pdf
3. Lecture Notes in Computer Science;L Bernardinello,2017
4. Bernardinello, L., Pomello, L., Puerto Aubel, A., Villa, A.: Checking weak observable liveness on unfoldings through asynchronous games. In: Moldt, D., Kindler, E., Rölke, H. (eds.) Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE2018), Bratislava, Slovakia, June 24–29, 2018. CEUR Workshop Proceedings, vol. 2138, pp. 15–34. CEUR-WS.org (2018). http://ceur-ws.org/Vol-2138/paper1.pdf
5. Lecture Notes in Computer Science;E Best,2012