@inproceedings {3400,
	title = {Verification of an Industrial Safety Function Using Coloured Petri Nets and Model Checking},
	booktitle = {Proceedings of the 14th International Conference on Modern Information Technology in the Innovation Processes of the Industrial Entreprises (MITIP 2012)},
	year = {2012},
	month = {10/2012},
	publisher = {Hungarian Academy of Sciences, Computer and Automation Research Institute (MTA SZTAKI)},
	organization = {Hungarian Academy of Sciences, Computer and Automation Research Institute (MTA SZTAKI)},
	address = {Budapest, Hungary},
	keywords = {coloured Petri net, formal methods, model checking, safety systems, saturation},
	isbn = {978-963-311-373-8},
	url = {http://petridotnet.inf.mit.bme.hu/publications/MITIP2012_BarthaEtAl.pdf},
	author = {Tam{\'a}s Bartha and Andr{\'a}s V{\"o}r{\"o}s and Attila J{\'a}mbor and D{\'a}niel Darvas},
	editor = {Elisabeth Ilie-Zudor and Zsolt Kem{\'e}ny and L{\'a}szl{\'o} Monostori}
}
