Object coloured Petri nets - a formal technique for object oriented modelling

  • Authors:
  • Christoph Maier;Daniel Moldt

  • Affiliations:
  • -;-

  • Venue:
  • Concurrent object-oriented programming and petri nets
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.