Modelling Object Oriented Non-Sequential Systems by Coloured Petri Nets


Lin He


Abstract

Object Oriented Coloured Petri Nets (OO-CPN) formalism has been introduced. The formalism is based on Kurt Jensen's Hierarchical Coloured Petri Nets and supports the concepts of object, class and inheritance.