@inproceedings {MITIP2012_BarthaEtAl,
	title = {Verification of an Industrial Safety Function Using Coloured {P}etri Nets and Model Checking},
	author = {Tam\'as Bartha and Andr\'as V\"or\"os and Attila J\'ambor and D\'aniel Darvas},
	booktitle = {Proceedings of the 14th International Conference on Modern Information Technology in the Innovation Processes of the Industrial Enterprises (MITIP 2012)},
	editor = {Ilie{-}Zudor, Elisabeth and Kem\'eny, Zsolt and Monostori, L\'aszl\'o},
	pages = {472--485},
	year = {2012},
	isbn = {978-963-311-373-8},
	publisher = {Hungarian Academy of Sciences, Computer and Automation Research Institute},
	location = {Budapest, Hungary},
	bib-link = {MITIP2012_BarthaEtAl.bib},
	pdf-link = {http://petridotnet.inf.mit.bme.hu/publications/MITIP2012_BarthaEtAl.pdf},
	mtmt = {2088473},
}