PDF:
Verification of an Industrial Safety Function Using Coloured Petri Nets and Model Checking
| Title | Verification of an Industrial Safety Function Using Coloured Petri Nets and Model Checking |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Bartha, T., Vörös, A., Jámbor, A., and Darvas, D. |
| Editor | Ilie-Zudor, E., Kemény, Z., and Monostori, L. |
| Conference Name | Proceedings of the 14th International Conference on Modern Information Technology in the Innovation Processes of the Industrial Entreprises (MITIP 2012) |
| Date Published | 10/2012 |
| Publisher | Hungarian Academy of Sciences, Computer and Automation Research Institute (MTA SZTAKI) |
| Conference Location | Budapest, Hungary |
| ISBN Number | 978-963-311-373-8 |
| Keywords | coloured Petri net, formal methods, model checking, safety systems, saturation |
| URL | http://petridotnet.inf.mit.bme.hu/publications/MITIP2012_BarthaEtAl.pdf |
| Refereed Designation | Unknown |
