Distefano, S.., M. Scarpa, and A.. Puliafito,  "From UML to Petri Nets: the PCM-based Methodology",  IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, pp. 65?79, 2011.