For the most recent entries see the Petri Nets Newsletter.

Net-Based Description of Parallel Object-Based Systems, or POTs and POPs.

Engelfriet, J.; Leih, G.; Rozenberg, G.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography