@mastersthesis{MScThesis2014_Darvas,
    author = {D\'aniel Darvas},
    title = {Incremental extension of the saturation algorithm-based bounded model checking of {P}etri nets},
    year = {2014},
    school = {Budapest University of Technology and Economics},
    url = {https://diplomaterv.vik.bme.hu/en/Theses/Petrihalok-szaturacios-algoritmuson-alapulo},
    pdf-link = {http://petridotnet.inf.mit.bme.hu/publications/MScThesis2014_Darvas.pdf},
    bib-link = {MScThesis2014_Darvas.bib},
	pres-link = {http://petridotnet.inf.mit.bme.hu/publications/MScThesis2014_Darvas_pres.pdf},
}