1. Amat, N., Berthomieu, B., Dal Zilio, S.: On the combination of polyhedral abstraction and SMT-based model checking for Petri nets. In: Application and theory of Petri nets and concurrency (Petri nets), pp. 164–185. Springer, Cham (2021)
2. Amat, N., Berthomieu, B., Dal Zilio, S.: A polyhedral abstraction for Petri nets and its application to SMT-based model checking. Fundam. Inform. 187, 2–4 (2022)
3. Amat, N., Dal Zilio, S., Le Botlan, D.: Accelerating the computation of dead and concurrent places using reductions. In: Model checking software (SPIN), pp. 45–62. Springer (2021)
4. Amparore, E., Berthomieu, B., Ciardo, G., Dal Zilio, S., Gallà, F., Hillah, L.M., Hulin-Hubard, F., Jensen, P.G., Jezequel, L., Kordon, F., Le Botlan, D., Liebke, T., Meijer, J., Miner, A., Paviot-Adet, E., Srba, J., Thierry-Mieg, Y., van Dijk, T., Wolf, K.: Presentation of the 9th edition of the model checking contest. In: Tools and algorithms for the construction and analysis of systems (TACAS), pp. 50–68. Springer (2019)
5. Berthelot, G.: Transformations and decompositions of nets. In: Petri nets: central models and their properties, pp. 359–376. Springer (1987)