Object Coloured Petri Nets (OCP-Nets) are an extension of Coloured Petri Nets (CPN). OCP-Nets are well suited to model the
dynamic aspects of a system. They supersede most techniques currently used in object oriented modelling such as Interaction
Diagrams. This will be shown in an example formalising an informal use case description. With their formal semantics, graphical
representation, means to model concurrency, and executability OCP-Nets lead to an improved Object Oriented Modelling approach.
In the rest of the paper, the signature of CPN as defined by Jensen in [9] is used. If not otherwise stated, the meaning is equal or similar to that in [9].