PDF:
Verification of an Industrial Safety Function Using Coloured Petri Nets and Model Checking
| Cím | Verification of an Industrial Safety Function Using Coloured Petri Nets and Model Checking |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2012 |
| Szerzők | Bartha, T., Vörös, A., Jámbor, A., and Darvas, D. |
| Szerkesztő | Ilie-Zudor, E., Kemény, Z., and Monostori, L. |
| Konferencia neve | Proceedings of the 14th International Conference on Modern Information Technology in the Innovation Processes of the Industrial Entreprises (MITIP 2012) |
| Kiadás dátuma | 10/2012 |
| Kiadó | Hungarian Academy of Sciences, Computer and Automation Research Institute (MTA SZTAKI) |
| Konferencia helyszíne | Budapest, Hungary |
| ISBN-szám | 978-963-311-373-8 |
| Kulcsszavak | coloured Petri net, formal methods, model checking, safety systems, saturation |
| URL | http://petridotnet.inf.mit.bme.hu/publications/MITIP2012_BarthaEtAl.pdf |
| Refereed Designation | Unknown |
