José Ignacio Requeno
Complutense University of Madrid, Spain
Petri nets for MDE: Applications to Software Product Lines
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.