Coloured Petri nets: status and outlook

  • Authors:
  • Kurt Jensen

  • Affiliations:
  • CPN Group, Department of Computer Science, University of Aarhus, Denmark

  • Venue:
  • ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

This talk presents my personal view of the current status of high-level Petri Nets, in particular Coloured Petri Nets. What have we achieved over the last 25 years and what are the main challenges that need to be addressed in order to make high-level Petri nets more useful, e.g., to the software industry? What kind of language extensions and tool support do we need to make Petri net modelling, simulation and analysis accessible to the knowledgeable engineer? I will also briefly discuss the main areas which I believe are the most obvious candidates for further theoretical development.