In: de Bakker, J.W.; et al.: Lecture Notes in Computer Science, Vol. 489; Proceedings of the REX Workshop on Foundations of Object-Oriented Languages, 1990, Noordwijkerhout, Netherlands, pages 229-273. Berlin, Germany: Springer-Verlag, 1991.
Abstract: Two formalisms, called POT and POP, are introduced for modelling parallel object-based systems. The first formalism is on the level of transition systems and the second on the program level. Both formalisms are based on Petri nets. A POT is obtained from a Petri net by the addition of components that handle specific object-based features such as object identity, object creation, private memory of objects and references to objects. Parallelism and synchronization are handled by the Petri net. A POP is a program that may be viewed as an abbreviation of a POT, comparable to a high-level Petri net.
Keywords: POT, parallel object-based transition system; POP, parallel object-based program; high-level net.