Hajdu, Ákos, Vörös, A., Bartha, T., & Mártonka, Z. (2014). Extensions to the CEGAR approach on Petri nets. Acta Cybernetica, 21(3), 401–417. https://doi.org/10.14232/actacyb.21.3.2014.8