VÖRÖS, András; DARVAS, Dániel; JÁMBOR, Attila; BARTHA, Tamás. Advanced Saturation-based Model Checking of Well-formed Coloured Petri Nets. Periodica Polytechnica Electrical Engineering and Computer Science, [S. l.], v. 58, n. 1, p. 3–13, 2014. 10.3311/PPee.2080. Disponível em: https://pp.bme.hu/eecs/article/view/2080. Acesso em: 18 apr. 2024.