Modeling complex Petri nets operations in the Model-Driven Architecture

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Citations (Scopus)


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.
Original languageUnknown
Title of host publication-
Publication statusPublished - 1 Jan 2009
Event35th Annual Conference of IEEE Industrial Electronics -
Duration: 1 Jan 2009 → …


Conference35th Annual Conference of IEEE Industrial Electronics
Period1/01/09 → …

Cite this