@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} }