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

CímIncremental extension of the saturation algorithm-based bounded model checking of Petri nets
Közlemény típusaThesis
Kiadás éve2014
SzerzőkDarvas, D.
KonzulensBartha, T., and Vörös, A.
FokozatMSc
Oldalak száma127
Kiadás dátuma05/2014
EgyetemBudapest University of Technology and Economics
Szakdolgozat típusaMaster's thesis
URLhttps://diplomaterv.vik.bme.hu/en/Theses/Petrihalok-szaturacios-algoritmuson-alapulo