Parametrisation of Coloured Petri Nets (1997)

by S Christensen, K H Mortensen
Venue:Department of Computer Science, University of Aarhus
Add To MetaCart
Results 1 - 2 of 2

Parameterised Coloured Petri Nets

by Thomas Mailund , 1999
"... In this paper we examine Coloured Petri Nets extended with parameters. We characterise three kinds of parameterisation and formally define Parameterised Coloured Petri Nets. We then discuss how parameterised Coloured Petri Nets can be used to create libraries of Coloured Petri Nets modules in the sa ..."
Abstract - Cited by 3 (2 self) - Add to MetaCart
In this paper we examine Coloured Petri Nets extended with parameters. We characterise three kinds of parameterisation and formally define Parameterised Coloured Petri Nets. We then discuss how parameterised Coloured Petri Nets can be used to create libraries of Coloured Petri Nets modules in the same way as libraries for programming languages. Finally we discuss how to implement a simple simulator for such modules.

Requirements of a Module System for Coloured Petri Nets

by Thomas Mailund , 2000
"... this report we examine the the requirements of a module system for CP-nets. We list what we nd to be the minimal requirements of a module system and illustrates these requirements though examples ..."
Abstract - Add to MetaCart
this report we examine the the requirements of a module system for CP-nets. We list what we nd to be the minimal requirements of a module system and illustrates these requirements though examples