Vörös A, Darvas D, Jámbor A, Bartha T. Advanced Saturation-based Model Checking of Well-formed Coloured Petri Nets. Period. Polytech. Elec. Eng. Comp. Sci. [Internet]. 2014 Jan. 1 [cited 2024 Apr. 24];58(1):3-13. Available from: https://pp.bme.hu/eecs/article/view/2080