Verification of an Industrial Safety Function Using Coloured Petri Nets and Model Checking

TitleVerification of an Industrial Safety Function Using Coloured Petri Nets and Model Checking
Publication TypeConference Paper
Year of Publication2012
AuthorsBartha, T., Vörös, A., Jámbor, A., and Darvas, D.
EditorIlie-Zudor, E., Kemény, Z., and Monostori, L.
Conference NameProceedings of the 14th International Conference on Modern Information Technology in the Innovation Processes of the Industrial Entreprises (MITIP 2012)
Date Published10/2012
PublisherHungarian Academy of Sciences, Computer and Automation Research Institute (MTA SZTAKI)
Conference LocationBudapest, Hungary
ISBN Number978-963-311-373-8
Keywordscoloured Petri net, formal methods, model checking, safety systems, saturation
URLhttp://petridotnet.inf.mit.bme.hu/publications/MITIP2012_BarthaEtAl.pdf
Refereed DesignationUnknown
PDF: