@inbook {1256,
	title = {Qualitative versus Quantitative Techniques in a Petri net settings},
	booktitle = {Buletinul Institutului Politehnic din Iasi},
	series = {Sectia Automatica si Calculatoare},
	volume = {Tomul LV (LIX), Fasc. 4},
	year = {2009},
	pages = {35-46},
	url = {http://webdiis.unizar.es/~cmahulea/papers/3_F4_09_Mahulea.pdf},
	author = {Mahulea, Cristian and T. Asaftei and M. Matcovschi}
}

