Parametrisation of Coloured Petri Nets

  title={Parametrisation of Coloured Petri Nets},
  author={Soren R Christensen and Kjeld H\oyer Mortensen},
In this paper we propose a conceptual framework for parametrisa-tion of Coloured Petri Nets | a rst step towards the formulation and formalisation of Parametric Coloured Petri Nets. We identify and charac-terise three useful kinds of parametrisation, namely value, type, and net structure parameters. While the two former kinds are simple to design the latter… CONTINUE READING