In: TOOLS Pacific 1995. 1995.
Abstract: This paper presents Object Petri Nets (OPNs), a formal system which integrates object-oriented structuring into the Petri Net formalism. The paper considers some proposed relationships between a class and its superclass, including variations on signature and behaviour compatibility. These proposals are evaluated in the context of a number of simple case studies, which serve to show that many suggested solutions do not work in practice. It is suggested that this critique applies equally well to other concurrent object-oriented languages.