Costa, Anikó, and Lu\'?s Gomes. "Module Composition within Petri Nets Model-based Development." SIES. 2007. 316-319.