Extensions to the CEGAR Approach on Petri Nets. - Ákos Hajdu; András Vörös 001; Tamás Bartha; Zoltán Mártonka (Acta Cybern., 2014)