Coloured Petri Nets: Status and Outlook

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.