Multilevel Modelling of Coloured Petri Nets

Abstract

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 possibility of tailoring the tool for specific domains and separation of concerns for facilitating its extensions and adaptation to new domains. In this paper, we present first steps towards using MultEcore as a multilevel modelling technique to tackle some of the CPN Tools main challenges by modelling CPNs and the CPN Tools using domain-specific multilevel modelling hierarchies. In particular, we take advantage of these hierarchies to first allow the definition of domainspecific CPNs languages and second to establish a clear separation between the CPN behaviour and the data types declarations.