@article {PerPol2014_VorosEtAl,
	author = {Andr\'as V\"or\"os and D\'aniel Darvas and Attila J\'ambor and Tam\'as Bartha},
	title = {Advanced Saturation-based Model Checking of Well-formed Coloured {P}etri Nets},
	journal = {Periodica Polytechnica, Electrical Engineering and Computer Science},
	year = {2014},
	volume = {58},
	number = {1},
	pages = {3--13},
	doi = {10.3311/PPee.2080},
	issn = {2064-5279},
	bib-link = {PerPol2014_VorosEtAl.bib},
	pdf-link = {http://petridotnet.inf.mit.bme.hu/publications/PerPol2014_VorosEtAl_manuscript.pdf},
	mtmt = {2767981},
}