@booklet {294,
	title = {From UML to Petri Nets: the PCM-based Methodology},
	journal = {IEEE TRANSACTIONS ON SOFTWARE ENGINEERING},
	year = {2011},
	pages = {65{\textendash}79},
	author = {S. Distefano and Marco Scarpa and A. Puliafito}
}
