Hajdu, Ákos 2014. Extensions to the CEGAR approach on Petri nets. Acta Cybernetica. 21, 3 (Jan. 2014), 401-417. DOI:https://doi.org/10.14232/actacyb.21.3.2014.8.