For the most recent entries see the Petri Nets Newsletter.

OB(PN)²: An Object Based Petri Net Programming Notation.

Lilius, Johan

In: Bougé, L.; Fraigniaud, P.; Mignotte, A.; Robert, Y.: Lecture Notes in Computer Science, Vol. 1123: Euro-Par'96, Parallel Processing, Second Int. Euro-Par Conference, Lyon, France, August 1996, Volume I, pages 660-663. Springer-Verlag, 1996.

Also in: Agha, G.A.; De Cindio, F.; Rozenberg, G.: Lecture Notes in Computer Science, Vol. 2001: Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets, pages 247-275. Springer-Verlag, 2001.

Abstract: In this paper we present a translation from the object-based language OB(PN)² to a class of high-level Petri nets. The OB(PN)² language is an extension of B(PN)² as defined by Best and Hopkins, and the semantics is inspired by the B(PN)² semantics defined in terms of M-nets. The translation relies on the CCS-like composition operators defined for M-nets. Each program construct is translated to a box (a special kind of net) or an operation for combining boxes. Thus in essence each program is translated into an expression in the algebra of boxes.


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

Back to the Petri Nets Bibliography