A. Vörös, D. Darvas, A. Jámbor, and T. Bartha, “Advanced Saturation-based Model Checking of Well-formed Coloured Petri Nets”, Period. Polytech. Elec. Eng. Comp. Sci., vol. 58, no. 1, pp. 3–13, Jan. 2014.