Hajdu, Ákos. (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