Abstract
Parallel object-based systems are modelled by POTs, where a POT is a Petri net with an additional structure imposed on its places (POT abbreviates Parallel Object-based Transition system). In a POT, parallelism, objects, references, communication, and creation are handled explicitly. Some basic properties of object-based systems are formalized as properties of POTs, viz. properties concerning reference passing and handshaking. Non-interleaving observations of (runs of) a POT are investigated, in particular when the POT satisfies the above properties.
The work of this author was conducted as part of the PRISMA project, a joint effort with Philips Research, partially supported by the Dutch “stimuleringsprojectteam informaticaonderzoek” (SPIN).
This is a preview of subscription content, log in via an institution to check access.
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
G.A.Agha. Actors: a model of concurrent computation in distributed systems. PhD thesis, M.I.T. Press, 1986.
P.America. Definition of the programming language POOL-T. ESPRIT-Project 415, Doc.no. 91, Philips Research Labs., Eindhoven, The Netherlands, 1985.
E.Best, R.Devillers. Sequential and concurrent behaviour in Petri net theory. Theor Comput Sci 55, 1987, pp 87–136.
E.Best, C.Fernández C. Nonsequential processes. Springer, Berlin Heidelberg New York, 1988 (EATCS monographs of Theor Comput Sci vol 13, eds W.Brauer, G.Rozenberg, A.Salomaa).
W.D.Clinger. Foundations of actor semantics. PhD thesis, Technical Report 633, M.I.T. AI Lab, 1981.
P.Degano, R.DeNicola, U.Montanari. A distributed operational semantics for CCS based on Condition/Event systems. Acta Informatica 26, 1988, pp 59–92.
J.Engelfriet, G.Leih, G.Rozenberg. Parallel object-based systems and Petri nets-Part 1 and 2. Reports 90–04 and 90–05, University of Leiden, The Netherlands, 1990.
U.Golzl. On representing CCS programs by finite Petri nets. In: M.P.Chytil, L.Janiga, V.Koubek (eds), Proceedings, Math Found of Comput Sci, Springer, Berlin Heidelberg New York, 1988, pp 339–350 (Lecture notes in computer science no 324).
U.Goltz, W.Reisig. The non-sequential behaviour of Petri nets. Information and Control 57, 1983, pp 125–147.
C.Hewitt. Viewing control structures as patterns of passing messages. Journal of Artificial Intelligence 8, 1977, pp 323–364.
C.A.R. Hoare. Communicating sequential processes. Comm of the ACM 21, 1978, pp 666–677.
M.Nielsen. CCS-and its relationship to net theory. In: W.Brauer, W.Reisig, G.Rozenberg (eds), Petri nets: applications and relationships to other models of concurrency, Springer, Berlin Heidelberg New York, 1987, pp 393–415 (Lecture notes in computer science 255).
E-R.Olderog. Operational Petri net semantics for CCSP. In: G.Rozenberg (ed), Advances in Petri nets, Springer, Berlin Heidelberg New York, 1987, pp 196–223 (Lecture notes in computer science 266).
G.D.Plotkin. A structural approach to operational semantics. DAIMI Report FN-19, Aarhus University, Denmark, 1981.
W.Reisig. Petri nets: an introduction. Springer, Berlin Heidelberg New York, 1985 (EATCS monographs of Theor Comput Sci vol 4, eds W.Brauer, G.Rozenberg, A.Salomaa).
G.Rozenberg. Behaviour of Elementary Net Systems. In: W.Brauer, W.Reisig, G.Rozenberg (eds), Petri nets: central models and their properties, Springer, Berlin Heidelberg New York, 1987, pp 60–94 (Lecture notes in computer science 254).
P.S.Thiagarajan. Elementary Net Systems. In: W.Brauer, W.Reisig, G.Rozenberg (eds), Petri nets: central models and their properties, Springer, Berlin Heidelberg New York, 1987, pp 26–59 (Lecture notes in computer science 254).
P.Wegner. Learning the language. Byte vol 14, no 3, March 1989, pp 245–253.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Engelfriet, J., Leih, G., Rozenberg, G. (1990). Formalizing the Behaviour of Parallel Object-Based Systems by Petri Nets. In: Semantics for Concurrency. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3860-0_13
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3860-0_13
Publisher Name: Springer, London
Print ISBN: 978-3-540-19625-9
Online ISBN: 978-1-4471-3860-0
eBook Packages: Springer Book Archive