Hajdu, Ákos, András Vörös, Tamás Bartha, and Zoltán Mártonka. “Extensions to the CEGAR Approach on Petri Nets”. Acta Cybernetica 21, no. 3 (January 1, 2014): 401–417. Accessed June 17, 2025. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3852.