@mastersthesis {MScThesis2014_Darvas,
	title = {Incremental extension of the saturation algorithm-based bounded model checking of Petri nets},
	volume = {MSc},
	year = {2014},
	month = {05/2014},
	pages = {127},
	school = {Budapest University of Technology and Economics},
	type = {Master{\textquoteright}s thesis},
	url = {https://diplomaterv.vik.bme.hu/en/Theses/Petrihalok-szaturacios-algoritmuson-alapulo},
	author = {D{\'a}niel Darvas}
}
