Ákos Hajdu, “Extensions to the CEGAR approach on Petri nets”, Acta Cybern, vol. 21, no. 3, pp. 401-417, Jan. 2014.