From UML to Petri Nets: The PCM-Based Methodology

Salvatore Distefano, Marco Scarpa, Antonio Puliafito. From UML to Petri Nets: The PCM-Based Methodology. IEEE Trans. Software Eng., 37(1):65-79, 2011. [doi]

Abstract

Abstract is missing.