@article {PerPol2014_VorosEtAl,
	title = {Advanced Saturation-based Model Checking of Well-formed Coloured Petri Nets},
	journal = {Periodica Polytechnica, Electrical Engineering and Computer Science},
	volume = {58},
	number = {1},
	year = {2014},
	pages = {11},
	chapter = {3},
	issn = {2064-5279},
	doi = {10.3311/PPee.2080},
	url = {http://www.pp.bme.hu/eecs/article/viewFile/2080/6336},
	author = {Andr{\'a}s V{\"o}r{\"o}s and D{\'a}niel Darvas and Attila J{\'a}mbor and Tam{\'a}s Bartha}
}
