Vörös, A., Darvas, D., Jámbor, A., Bartha, T. “Advanced Saturation-based Model Checking of Well-formed Coloured Petri Nets”, Periodica Polytechnica Electrical Engineering and Computer Science, 58(1), pp. 3–13, 2014. https://doi.org/10.3311/PPee.2080