• Executing Multilevel Domain-Specific Models in Maude 

      Rodríguez, Alejandro; Duran, Francisco; Rutle, Adrian; Kristensen, Lars Michael (Peer reviewed; Journal article, 2019)
      Multilevel modelling (MLM) tackles the limitation in the number of abstraction levels present in traditional modelling approaches within the model-driven software engineering (MDSE) field. One way to specify the behaviour ...
    • Multilevel Modelling of Coloured Petri Nets 

      Tena, Alejandro Rodriguez; Rutle, Adrian; Duran, Francisco; Kristensen, Lars Michael; Macías, Fernando (Journal article; Peer reviewed, 2018)
      Coloured Petri Nets (CPNs) is a modelling language for distributed systems which has been applied in a multitude of industrial cases. The supporting tool of CPNs is currently lacking important features such as having the ...