Abstract
In this paper we present a translation from the object-based language OB(PN)2 to a class of high-level Petri nets. The OB(PN)2 language is an extension of B(PN)2 as defined by Best and Hopkins, and the semantics is inspired by the B(PN)2 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.
This research has been partially supported by the DAAD through the Konrad Zuse Programm, while the author was at Institut für Informatik, Universität Hildesheim.
Chapter PDF
References
E. Best and R.P. Hopkins. B(PN)2 — A Basic Petri Net Programming Notation. In Proc. of PARLE-93, pp. 379–390.
E. Best, H. Fleischhack, W. Fraczak, R.P. Hopkins, H. Klaudel, and E. Pelz. An M-net Semantics of B(PN)2. In Proc. of STRICT'95, pp. 85–100.
B. Grahlmann. An introduction to the principles, the functionality and the usage of the pep-system. In Proc. of PEP Workshop, nr. 14/95 in Hildesheimer Inf. Ber., 1995.
P. Grönberg, M. Tiusanen, and K. Varpaaniemi. PROD — A Pr/T-Net reachability analysis tool. Technical Report B11, Digital Systems Laboratory, Helsinki University of Technology, Espoo, 1993.
J. Lilius. OB(PN)2: An Object Based Petri Net Programming Notation. Technical Report. Digital Systems Laboratory, Helsinki University of Technology, Espoo, to appear.
J. Lilius and E. Pelz. An M-net semantics for B(PN)2 with procedures. Submitted to ISCIS-XI.
R. N. Taylor. A general purpose algorithm for analyzing concurrent programs. Communications of the ACM, 26(5):362–376, 1983.
A. Yonezawa and M. Tokoro. Object-Oriented Concurrent Programming. Computer Systems Series. MIT Press, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lilius, J. (1996). OB(PN)2: An Object Based Petri Net Programming Notation (extended abstract). In: Bougé, L., Fraigniaud, P., Mignotte, A., Robert, Y. (eds) Euro-Par'96 Parallel Processing. Euro-Par 1996. Lecture Notes in Computer Science, vol 1123. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61626-8_87
Download citation
DOI: https://doi.org/10.1007/3-540-61626-8_87
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61626-9
Online ISBN: 978-3-540-70633-5
eBook Packages: Springer Book Archive