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.