Skip to main content
SpringerLink
Log in
Book cover

Concurrent Object-Oriented Programming and Petri Nets pp 473–492Cite as

High Level Transition Systems for Communicating Agents

  • Chapter
  • First Online:

  • 566 Accesses

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

Abstract

This paper presents an agent-oriented formalism based on Logic Programming and Predicate/Transition Nets. The problem of moving philosophers is used as application example. A distributed system is considered as a result of composition of agents, which are instances of predefined classes. A main objective is to describe dynamic systems of communicating agents.

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   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.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.

References

  1. Agha, G.: Actors: a model of concurrency computation in distributed systems. MIT Press, Cambridge (Mass.), 1986

    Google Scholar 

  2. Banâtre, J.P., Le Métayer, D.: The Gamma model and its discipline of programming. Science Computer Programming, Vol. 15, 1990

    Google Scholar 

  3. Boudol, G.: Some Chemical Abstract Machines. In: J.W de Bakker and All (Eds.), “A Decade of Concurrency: Reflections and Perspectives.” LNCS, Vol. 803, Springer Verlag, 1994

    Google Scholar 

  4. Emerson, E.A., Srinivasan, J.: Branching Time Temporal Logic. LNCS Vol. 354., Springer Verlag, 1989

    Book  Google Scholar 

  5. Diaz, M. and all (Eds.) The formal description technique Estelle. North-Holland, 1989

    Google Scholar 

  6. Fernandez, J.C, Garavel, H., Mounier, L., Rasse, A., Rodriguez, C., Sifakis, J.: A Tool Box for the verification of Lotos programs. In: 14th Conf. on Software Engineering. Melbourne, Australia, 1992

    Google Scholar 

  7. Genrich, H.J.: Predicate/Transition Nets. In: Jensen, K., Rozenberg, G. (Eds.), “High-Level Petri Nets: Theory and Application.” Springer Verlag, 1991, pp 3–44

    Google Scholar 

  8. Lloret, J.C., Azéma, P., Vernadat, F.: Compositional design and verification with labelled predicate transition nets. In: Clarke, E.M., Kurshan, R.P. (Eds.), “Computer Aided Verification” DIMACS, Vol. 3, 1990, pp 519–533

    Google Scholar 

  9. van Eijk, P.H.J. and all (Eds.) The formal description technique Lotos. North-Holland, 1989

    Google Scholar 

  10. Milner, R.: Communication and Concurrency. Prentice Hall, 1989

    Google Scholar 

  11. Milner, R., Parrow, J., Walker, D.: A Calculus of mobile processes. Information and Computation, Vol. 100, pp 1–77

    Google Scholar 

  12. Reisig, W.: Petri Nets: an Introduction. Monographs on Theoretical Computer Science, Springer Verlag, 1985

    Google Scholar 

  13. Sibertin-Blanc, C.: Cooperative Nets. Application and Theory of Petri Nets. LNCS Vol. 815, Springer Verlag, 1994

    Google Scholar 

  14. Sibertin-Blanc, C.: The hurried Philosophers. Case study proposal for the 2nd Workshop on Object-Oriented Programming and Models of Concurrency. 1996

    Google Scholar 

  15. Villemur, T., Diaz, M., Vernadat, F., Azéma, P.: Verification of Services and Protocols for Dynamic Membership to Cooperative Groups. Workshop on Computer Supported Cooperative Work, Petri Nets and related formalisms, 1994

    Google Scholar 

  16. Vernadat, F., Azéma, P., Lanusse, A.: Actor Validation by means of Petri Nets. In: “ Object-Oriented Programming and Models of Concurrency.”, Italy, 1995

    Google Scholar 

  17. Vernadat, F., Azéma, P.: Validation of Communicating Agent System. In: “Special Issues in Object-Oriented Programming.” Max Mühlhäuser (Ed.) dpunkt.verlag, Heidelberg Germany ISBN 3-9200993-67-5, 1996

    Google Scholar 

  18. Azéma, P., Vernadat, F., Gradit, P.: A workflow specification environment. In: “Workflow Managament: Net-Based Concepts, Models, Techniques, and Tools.” A workshop within the XIX ICATPN, Lisbon, Portugal, 1998

    Google Scholar 

  19. Agha, G., de Cindio, F. (Eds.): First Workshop on Object-Oriented Programming and Models of Concurrency. A workshop within the XVI ICATPN, Turin, Italy, 1995

    Google Scholar 

  20. Agha, G., de Cindio, F. (Eds.): Second Workshop on Object-Oriented Programming and Models of Concurrency. A workshop within the XVII ICATPN, Osaka, Japan, 1996

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LAAS-CNRS, Laboratoire d’Analyse et d’Architecture des Systèmes, 7 avenue du Colonel Roche, F-31077, Toulouse cedex

    François Vernadat & Pierre Azéma

Authors
  1. François Vernadat
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pierre Azéma
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Illinois at Urbana-Champaign, 1304 West Springfield Avenue, 61801-2987, Urbana, Illinois, USA

    Gul A. Agha

  2. Computer Science Department, University of Milan, via Comelico 39/41, 20135, Milan, Italy

    Fiorella De Cindio

  3. Leiden Institute of Advanced Computer Science (LIACS), Leiden University, Niels Bohrweg 1, 2333, Leiden, CA, The Netherlands

    Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Vernadat, F., Azéma, P. (2001). High Level Transition Systems for Communicating Agents. 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_20

Download citation

  • DOI: https://doi.org/10.1007/3-540-45397-0_20

  • 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

Publish with us

Policies and ethics

Search

Navigation