Modeling complex Petri nets operations in the Model-Driven Architecture

In this paper we propose the definition of Petri nets operations as model-to-model transformations and code generation to several platforms for dynamic semantics and verification purposes as model-to-text transformations both in the MDA (model-driven architecture) framework. We advocate that Petri nets can have a suitable integration with the MDA framework. We provide a strategy to MDA model-to-model transformations represent Petri net operations and MDA model-to-text transformations become useful for code generation to the most powerful available platforms allowing simulation, analysis and verification. We validate this proposal by applying these techniques in a project that deals with codesign techniques for embedded system using Petri nets, and already proposed several complex operations for this domain that requires suitable languages and tools for high reliability analysis.