@techreport {BDM-Tutorial,
	title = {On derivation of Petri net quantitative models from UML software system specifications},
	year = {2005},
	author = {S. Bernardi and S. Donatelli and Jos{\'e} Merseguer}
}

