High Level Transition Systems for Communicating Agents

  • François Vernadat
  • Pierre Azéma
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2001)


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.


Communicate Agent Synchronization Transition Computer Support Cooperative Work Agent Class Synchronous Transition 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Agha, G.: Actors: a model of concurrency computation in distributed systems. MIT Press, Cambridge (Mass.), 1986Google Scholar
  2. 2.
    Banâtre, J.P., Le Métayer, D.: The Gamma model and its discipline of programming. Science Computer Programming, Vol. 15, 1990Google Scholar
  3. 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, 1994Google Scholar
  4. 4.
    Emerson, E.A., Srinivasan, J.: Branching Time Temporal Logic. LNCS Vol. 354., Springer Verlag, 1989CrossRefGoogle Scholar
  5. 5.
    Diaz, M. and all (Eds.) The formal description technique Estelle. North-Holland, 1989Google Scholar
  6. 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, 1992Google Scholar
  7. 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–44Google Scholar
  8. 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–533Google Scholar
  9. 9.
    van Eijk, P.H.J. and all (Eds.) The formal description technique Lotos. North-Holland, 1989Google Scholar
  10. 10.
    Milner, R.: Communication and Concurrency. Prentice Hall, 1989Google Scholar
  11. 11.
    Milner, R., Parrow, J., Walker, D.: A Calculus of mobile processes. Information and Computation, Vol. 100, pp 1–77Google Scholar
  12. 12.
    Reisig, W.: Petri Nets: an Introduction. Monographs on Theoretical Computer Science, Springer Verlag, 1985Google Scholar
  13. 13.
    Sibertin-Blanc, C.: Cooperative Nets. Application and Theory of Petri Nets. LNCS Vol. 815, Springer Verlag, 1994Google Scholar
  14. 14.
    Sibertin-Blanc, C.: The hurried Philosophers. Case study proposal for the 2nd Workshop on Object-Oriented Programming and Models of Concurrency. 1996Google Scholar
  15. 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, 1994Google Scholar
  16. 16.
    Vernadat, F., Azéma, P., Lanusse, A.: Actor Validation by means of Petri Nets. In: “ Object-Oriented Programming and Models of Concurrency.”, Italy, 1995Google Scholar
  17. 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, 1996Google Scholar
  18. 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, 1998Google Scholar
  19. 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, 1995Google Scholar
  20. 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, 1996Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • François Vernadat
    • 1
  • Pierre Azéma
    • 1
  1. 1.LAAS-CNRSLaboratoire d’Analyse et d’Architecture des SystèmesToulouse cedex

Personalised recommendations