Vörös, András, Dániel Darvas, Attila Jámbor, and Tamás Bartha. 2014. “Advanced Saturation-Based Model Checking of Well-Formed Coloured Petri Nets”. Periodica Polytechnica Electrical Engineering and Computer Science 58 (1):3-13. https://doi.org/10.3311/PPee.2080.