José Ignacio Requeno

Complutense University of Madrid, Spain

José Ignacio Requeno

Petri nets for MDE: Applications to Software Product Lines

Slides

Petri net (PN) is an automaton-based formalism for modelling concurrent systems. In this presentation, we will show the usage of PN in the context of Model Driven Engineering (MDE). In particular, we will start with a brief introduction of the definition of PN and some history about successful cases in MDE. We will follow with the recent advances for PN, specially for the modelling and analysis of software product lines. Finally, we will motivate the combination of PN with monitors and runtime verification techniques, and continue with a discussion about future work.