Formalizing the Behaviour of Parallel Object-Based Systems by Petri Nets

  • Joost Engelfriet
  • George Leih
  • Grzegorz Rozenberg
Conference paper
Part of the Workshops in Computing book series (WORKSHOPS COMP.)

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.

Keywords

Assure 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    G.A.Agha. Actors: a model of concurrent computation in distributed systems. PhD thesis, M.I.T. Press, 1986.Google Scholar
  2. 2.
    P.America. Definition of the programming language POOL-T. ESPRIT-Project 415, Doc.no. 91, Philips Research Labs., Eindhoven, The Netherlands, 1985.Google Scholar
  3. 3.
    E.Best, R.Devillers. Sequential and concurrent behaviour in Petri net theory. Theor Comput Sci 55, 1987, pp 87–136.Google Scholar
  4. 4.
    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).Google Scholar
  5. 5.
    W.D.Clinger. Foundations of actor semantics. PhD thesis, Technical Report 633, M.I.T. AI Lab, 1981.Google Scholar
  6. 6.
    P.Degano, R.DeNicola, U.Montanari. A distributed operational semantics for CCS based on Condition/Event systems. Acta Informatica 26, 1988, pp 59–92.Google Scholar
  7. 7.
    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.Google Scholar
  8. 8.
    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).Google Scholar
  9. 9.
    U.Goltz, W.Reisig. The non-sequential behaviour of Petri nets. Information and Control 57, 1983, pp 125–147.Google Scholar
  10. 10.
    C.Hewitt. Viewing control structures as patterns of passing messages. Journal of Artificial Intelligence 8, 1977, pp 323–364.Google Scholar
  11. 11.
    C.A.R. Hoare. Communicating sequential processes. Comm of the ACM 21, 1978, pp 666–677.Google Scholar
  12. 12.
    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).CrossRefGoogle Scholar
  13. 13.
    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).Google Scholar
  14. 14.
    G.D.Plotkin. A structural approach to operational semantics. DAIMI Report FN-19, Aarhus University, Denmark, 1981.Google Scholar
  15. 15.
    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).Google Scholar
  16. 16.
    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).CrossRefGoogle Scholar
  17. 17.
    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).CrossRefGoogle Scholar
  18. 18.
    P.Wegner. Learning the language. Byte vol 14, no 3, March 1989, pp 245–253.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Joost Engelfriet
    • 1
  • George Leih
    • 1
  • Grzegorz Rozenberg
    • 1
  1. 1.Department of Computer ScienceLeiden UniversityLeidenNetherlands

Personalised recommendations