Advanced Saturation-based Model Checking of Well-formed Coloured Petri Nets
Title | Advanced Saturation-based Model Checking of Well-formed Coloured Petri Nets |
Publication Type | Journal Article |
Year of Publication | 2014 |
Authors | Vörös, A., Darvas, D., Jámbor, A., and Bartha, T. |
Journal | Periodica Polytechnica, Electrical Engineering and Computer Science |
Volume | 58 |
Start Page | 3 |
Pagination | 11 |
ISSN | 2064-5279 |
URL | http://www.pp.bme.hu/eecs/article/viewFile/2080/6336 |
DOI | 10.3311/PPee.2080 |