Niels Damgaard Hansen

Learn More
In this paper we show how to extend Coloured Petri Nets (CP-nets), with three new modelling primitivesãplace capacities, test arcs and inhibitor arcs. The new modelling primitives are introduced to improve the possibilities of creating models that are on the one hand compact and comprehensive and on the other hand easy to develop, understand and analyse. A(More)
This paper shows how Coloured Petri Nets (CP-nets) can be extended to support synchronous communication. We introduce coloured communication channels through which transitions are allowed to communicate complex values. Small examples show how channel communication is convenient for creating compact and comprehensive models. The concepts introduced in this(More)
  • 1