Vörös, A. et al. 2014. Advanced Saturation-based Model Checking of Well-formed Coloured Petri Nets. Periodica Polytechnica Electrical Engineering and Computer Science. 58, 1 (Jan. 2014), 3–13. https://doi.org/10.3311/PPee.2080.