Vörös, A. (2014) “Advanced Saturation-based Model Checking of Well-formed Coloured Petri Nets”, Periodica Polytechnica Electrical Engineering and Computer Science, 58(1), pp. 3–13. 10.3311/PPee.2080.