Incremental extension of the saturation algorithm-based bounded model checking of Petri nets
| Title | Incremental extension of the saturation algorithm-based bounded model checking of Petri nets |
| Publication Type | Thesis |
| Year of Publication | 2014 |
| Authors | Darvas, D. |
| Advisor | Bartha, T., and Vörös, A. |
| Degree | MSc |
| Number of Pages | 127 |
| Date Published | 05/2014 |
| University | Budapest University of Technology and Economics |
| Thesis Type | Master's thesis |
| URL | https://diplomaterv.vik.bme.hu/en/Theses/Petrihalok-szaturacios-algoritmuson-alapulo |
