Skip to main content
SpringerLink
Log in
Book cover

Parle ’91 Parallel Architectures and Languages Europe pp 532–549Cite as

Formalisation of the Behavior of Actors by Colored Petri Nets and Some Applications

  • Conference paper

  • 708 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 505))

Abstract

In this paper we present a formalisation of actors by colored Petri nets. In order to do that, we give a structural description of an actor program which makes it easy to obtain a colored Petri net with the corresponding behavior. We give a sketch of the proof that the derived colored Petri net reflects the behavior of the corresponding actor program. We show how this formalisation allows a translation of dynamic system into static one which has some applications. Finally we discuss some other possibilities for deriving a colored Petri net, and we put this formalisation in perspective with other works.

This work was supported by the Esprit basic researsh Action No 3148: DEMON.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Reference

  1. Gul A.Agha; Semantics considerations in the Actor Paradigm of Concurrent Computation, Seminar on Concurrency, LNCS 197, July 1984

    Google Scholar 

  2. Gul A.Agha; Carl Hewitt; Concurrent Programming Using Actors: Exploiting Large-scale Parallelism, A.I.Memo No. 865, October 1985.

    Google Scholar 

  3. Gul A.Agha; Actors: a model of concurrent computation in distributed systems, The MIT press, 1986.

    Google Scholar 

  4. Gul A.Agha; An overview of actor languages, SIGPLAN Notices Vol 21, 1986.

    Google Scholar 

  5. Gul A.Agha; Supporting Multiparadigm Programming on Actor Architectures, Parle’89 Parallel Architectures and Languages Europe, Volume II, LNCS 366, E.Odjik, M.Rem, J-C.Syre, eds, 1989.

    Google Scholar 

  6. Gregory R.Andrews, Fred B.Schneider; Concepts and Notations for Concurrent Programming, ACM Computing Surveys, Vol 15, Nol, 1983.

    Google Scholar 

  7. Henri E. Bal, Jennifer G. Steiner, Andrew S. Tanenbaum; Programming Languages for Distributed Computing Systems, ACM Computing Surveys, Vol. 21, No. 3, September 1989.

    Google Scholar 

  8. F.Baude, G.Vidal-Naquet; Actors as a parallel programming model, STACS91, LNCS 480, C.Choffrut, M.Jantzen, eds, 1991.

    Google Scholar 

  9. J-C.Bermond and and C. Peyrat; The De Bruijn and Kautz networks: a competitor for the hypercube ?; Hypercube and Distributed Computers, F.André and J.P. Verjus (Eds), Elseiver Science Publishers B. V. (North-Holland), 1989.

    Google Scholar 

  10. W.D.Clinger; Foundations of actors semantics, AI-TR-633, MIT artificial intelligence Laboratory, May 1981.

    Google Scholar 

  11. J.Engelfriet, G.Leih, G.Rozenberg; Parallel object-based systems and petri nets, Technical Reports 90-04 and 90-05, Leiden University, 1990.

    Google Scholar 

  12. J.Engelfriet; Net-based description of parallel object-based systems, or POTs and POPs,Workshop on Foundations of Object-Oriented Languages, May28 - Junel, 1990.

    Google Scholar 

  13. Carl Hewitt; Viewing control structures as patterns of passing messages, in Artificial Intelligence, An MIT Perspective, Brown and Winston, eds, 1977.

    Google Scholar 

  14. C.Hewitt, H.Baker; Actors and continuous functionals, Formal Description of progr.Concepts,1977.

    Google Scholar 

  15. C.E Hewitt, G.Attardi, and H.Lieberman; Specifying and proving properties of guardians for distributed systems. In praceedings on semantics of concurrent computation, INRIA, Evian, France, 1979.

    Google Scholar 

  16. Carl Hewitt, Tom Reinhardt, Gul A.Agha, Giuesppe Attardi; linguistic support of receptionists for shared ressources, Memo MIT, 1984.

    Google Scholar 

  17. C.E.Hewitt; The challenge of open systems. Byte 10 (4): 223 - 242, 1985.

    Google Scholar 

  18. C.A.R. Hoare; Communicating Sequential Processes; Communications from the ACM, Vo121, No8, 666 - 677, 1978.

    Article  Google Scholar 

  19. C.A.R. Hoare; Monitors: An Operating System Structuring Concept, Communications from the ACM, 17 (10), 549 - 557, 1974.

    Article  Google Scholar 

  20. R.P. Hopkins, M. Koutny, B.Randell; Some Results on Dynamically Structures Communicating Systems; Research Memorandum, University of Newcastle upon Tyne, 1989.

    Google Scholar 

  21. D.Janssens, G.Rozenberg; Actor grammars, Math. Syst. Theory 22, 75 - 107, 1989.

    Article  Google Scholar 

  22. Kurt Jensen, Colored petri nets, Advances in petri nets, Partl, LNCS 254, W.Brauer, W.Reisig and G.Rozenberg, eds, 1986.

    Google Scholar 

  23. Peter De Jong, Compilation into Actors, In sigplan notices, Vol 21, October 1986. Barbara Liskov, Maurice Herlihy, Lucy Gilbert; Limitations of Synchronous Communication With Static Process Structure in Languages for Distributed Computing, Proceedings of the 13th ACM Symposium on Principles of Programing Primitives, St. Petersburg, Florida, January 1986.

    Google Scholar 

  24. Y.Saad, M.Shultz, Topological properties of Hypercubes, WE Trans. on computers, vol 37, N° 7, July 1988.

    Article  Google Scholar 

  25. Y.Sami, G.Vidal-Naquet, Formalisation of the behavior of actors by colored Petri nets and some applications, technical report 605, LRI, CNRS URA 410, 1990.

    Google Scholar 

  26. Y.Sami, G.Vidal-Naquet, talks given at DEMON working group meeting at Newcastle Mai 90 and DEMON AGMI, Paris, June 90.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire de Recherche en Informatique, URA 410 CNRS, Université Paris-Sud, 91405, Orsay Cedex, France

    Yamina Sami & Guy Vidal-Naquet

  2. Plateau de Moulon, Ecole Supérieure d’Electricité, 91190, Gif Sur Yvette Cedex, France

    Guy Vidal-Naquet

Authors
  1. Yamina Sami
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Guy Vidal-Naquet
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Philips Research Laboratories, P.O. Box 80.000, 5600 JA, Eindhoven, The Netherlands

    Emile H. L. Aarts

  2. Department of Computer Science, University of Utrecht, Padualaan 14, 3584 CH, Utrecht, The Netherlands

    Jan van Leeuwen

  3. Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands

    Martin Rem

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sami, Y., Vidal-Naquet, G. (1991). Formalisation of the Behavior of Actors by Colored Petri Nets and Some Applications. In: Aarts, E.H.L., van Leeuwen, J., Rem, M. (eds) Parle ’91 Parallel Architectures and Languages Europe. Lecture Notes in Computer Science, vol 505. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-25209-3_34

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-25209-3_34

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-23206-4

  • Online ISBN: 978-3-662-25209-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation