Abstract
In this paper we present the object-based language OB(PN)2, together with its semantics, defined as a translation into a class of highlevel Petri nets. This translation defines the semantics of a OB(PN)2 program as a net, which can be analyzed using existing reachability analysis tools. 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 semantics is interesting from two points of view: it lays the foundations for the development of automatic verification methods of concurrent programs written in object-oriented languages, and it can be seen as a set of rules for the translation of object-oriented specifications written in an object-oriented specification formalism into Petri-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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ken Arnold and James Gosling. The Java Programming Language, Second Edition. Addison-Wesley, 1998.
E. Battiston, A. Chizzoni, and F. De Cindio. Inheritance and concurrency in CLOWN. In Proc. of the Workshop on Object-Oriented Programming and Models of Concurrency, 1995.
E. Best, R. Devillers, and J. Hall. The box calculus: a new causal algebra with multi-label communication. In Advances in Petri Nets 1992, volume 609 of Lecture Notes in Computer Science, pages 21–69. Springer Verlag, Berlin, 1992.
E. Best, H. Fleischhack, W. Fraczak, R. P. Hopkins, H. Klaudel, and E. Pelz. A class of composable high level Petri nets with and application to the semantics of B(PN)2. In G. De Michelis and M. Diaz, editors, Application and Theory of Petri Nets 1995, volume 935of Lecture Notes in Computer Science, pages 103–120. Springer Verlag, 1995.
E. Best, H. Fleischhack, W. Fraczak, R. P. Hopkins, H. Klaudel, and E. Pelz. An M-net semantics of B(PN)2. In Jörg Desel, editor, Proceedings of STRICT’95, Workshops in Computing, pages 85–100, Berlin, 1995. Springer Verlag.
E. Best and R. P. Hopkins. B(PN)2-a Basic Petri Net Programming Notation. In A. Bode, M. Reeve, and G. Wolf, editors, Proceedings of PARLE-93, volume 694 of Lecture Notes in Computer Science, pages 379–390, Berlin, 1993. Springer Verlag.
D. Buchs and N. Guel.. COOPN2: An object oriented specification language for distributed system development. submitted article.
A. Chizzoni. CLOWN: Class orientation with nets. Master’s thesis, Dept. of Computer Science, Univ. of Milano, 1994.
Javier Esparza. Model checking using net unfoldings. In TAPSOFT’93, volume 668 of Lecture Notes in Computer Science, pages 613–628, Berlin, 1993. Springer Verlag.
Hans Fleischhack and Bernd Grahlmann. A Petri net semantics for B(PN)2 with procedures. In Proceedings of PDSE’97 (Parallel and Distributed Software Engineering), pages 15–27. IEEE Computer Society, May 1997.
Bernd Grahlmann. An introduction to the principles, the functionality and the usage of the PEP-system. In Proceedings of PEP: Programming Environment Based on Petri Nets Workshop, number 14/95 in Hildesheimer Informatik Berichte, 1995.
Peter Gr nberg, Mikko Tiusanen, and Kimmo Varpaaniemi. PROD-A Pr/TNet reachability analysis tool. Technical Report B11, Digital Systems Laboratory, Berlin, 1993.
K. Jensen and G. Rozenberg, editors. High-Level Petri Nets. Springer Verlag, Berlin, 1991.
Hanna Klaudel and Elisabeth Pelz. Communication as unification in the Petri Box Calculus. In Proc.of FCT’95, volume 965of Lecture Notes in Computer Science, pages 303–312, 1995.
Johan Lilius. OB(PN)2: An Object Based Petri Net Programming Notation. In Luc Bougé, Pierre Fraigniaud, Anne Mignotte, and Yves Robert, editors, Proceedings of Euro-Par’96, volume 1123 of Lecture Notes in Computer Science, pages 660–663, Berlin, 1996. Springer Verlag.
Johan Lilius. OOB(PN)2: An Object-Oriented Petri Net Programming Notation. In Proceedings of the Second Workshop on Object-Oriented Programming and Models of Concurrency, 24 June 1996.
Johan Lilius and Elisabeth Pelz. An M-net semantics for B(PN)2 with procedures. In V. Atalay, U. Halici, K. Inan, N. Yalabik, and A. Yazici, editors, Proceedings of the Eleventh International Symposium on Computer and Information Sciences, pages 365–374. Middle East Technical University, 1996.
S. Matsuoka, K. Wakita, and A. Yonezawa. Synchronisation constraints with inheritance: What is not possible. so what is? Internal report, Tokyo University, 1990.
R. N. Taylor. A general purpose algorithm for analyzing concurrent programs. Communications of the ACM, 26(5):362–376, 1983.
Antti Valmari. Stubborn sets for reduced state space generation. In 10th International Conference on Application and Theory of Petri Nets, Supplement to the Proceedings, pages 1–22, 1989. On proceedingsit.
Akinori Yonezawa and Mario Tokoro. Object-Oriented Concurrent Programming. Computer Systems Series. MIT Press, 1987.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Lilius, J. (2001). OB(PN)2: An Object Based Petri Net Programming Notation. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds) Concurrent Object-Oriented Programming and Petri Nets. Lecture Notes in Computer Science, vol 2001. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45397-0_8
Download citation
DOI: https://doi.org/10.1007/3-540-45397-0_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41942-6
Online ISBN: 978-3-540-45397-0
eBook Packages: Springer Book Archive