Object-oriented concepts for coloured Petri nets

For object-oriented specifications no techniques are available which are able to model parallel aspects. The techniques proposed up to now are all inadequate. At the same time there is no method for the use of coloured Petri nets. The authors propose to use coloured Petri nets with their known advantages for object-oriented analysis and object-oriented design to get a synergetic effect. This paper introduces an object-oriented interpretation of coloured Petri nets. The authors show how to enrich the coloured Petri net model so, that the object-oriented concepts can be used as the methodology. Only minor assumptions are made about the inscription language. The approach should easily be transferable to other high-level nets. The authors do not consider a modification of the nets.<
>