In: Technical Report TR94-3, Computer Science Department, University of Tasmania. 1994.
Abstract: In recent years, there has been significant interest in combining the benefits of object-oriented structuring techniques with the petri net formalism which has proved beneficial in modelling concurrent systems. This paper presents a more extensive application of object-oriented ideas to Coloured Petri Nets, in that it breaks away from the traditional approach of viewing the data as essentially passive and the petri net as a global control structure. The resultant class of petri nets are called Object Petri Nets. These are formally defined in the paper, are illustrated by an example, and are proven to be behaviourally equivalent to Coloured Petri Nets, thus providing the basis for applying traditional analysis techniques