Hajdu, Ákos. 2014. “Extensions to the CEGAR Approach on Petri Nets”. Acta Cybernetica 21 (3), 401-17. https://doi.org/10.14232/actacyb.21.3.2014.8.