Incremental extension of the saturation algorithm-based bounded model checking of Petri nets

TitleIncremental extension of the saturation algorithm-based bounded model checking of Petri nets
Publication TypeThesis
Year of Publication2014
AuthorsDarvas, D.
AdvisorBartha, T., and Vörös, A.
DegreeMSc
Number of Pages127
Date Published05/2014
UniversityBudapest University of Technology and Economics
Thesis TypeMaster's thesis
URLhttps://diplomaterv.vik.bme.hu/en/Theses/Petrihalok-szaturacios-algoritmuson-alapulo