Hajdu, Ákos, András Vörös, Tamás Bartha, and Zoltán Mártonka. 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.