High Level Transition Systems for Communicating Agents

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.

[1]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[2]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[3]  Robert E. Milne,et al.  The formal description technique Estelle : J.P. Diaz, J.P. Ansart, J.P. Courtiat, P. Azema and V. Chari, eds. North-Holland, Amsterdam, Netherlands, 1989, Prince $102.50 (hardback), ISBN 0-444-87132-2. , 1990 .

[4]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[5]  Eugene Miya,et al.  On "Software engineering" , 1985, SOEN.

[6]  Wolfgang Reisig,et al.  Petri Nets with Individual Tokens , 1982, Theor. Comput. Sci..

[7]  Christophe Sibertin-Blanc,et al.  Cooperative Nets , 1994, Application and Theory of Petri Nets.

[8]  Daniel Le Métayer,et al.  The GAMMA Model and Its Discipline of Programming , 1990, Sci. Comput. Program..

[9]  Hartmann J. Genrich,et al.  Predicate/Transition Nets , 1986, Advances in Petri Nets.

[10]  Grzegorz Rozenberg,et al.  A Decade of Concurrency Reflections and Perspectives , 1994, Lecture Notes in Computer Science.

[11]  Max Mühlhäuser.  Special Issues in Object-Oriented Programming , 1997 .

[12]  Jai Srinivasan,et al.  Branching time temporal logic , 1988, REX Workshop.

[13]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[14]  Christophe Sibertin-Blanc.  The Hurried Philosophers , 2001, Concurrent Object-Oriented Programming and Petri Nets.

[15]  Joseph Sifakis,et al.  A Toolbox For The Verification Of LOTOS Programs , 1992, International Conference on Software Engineering.

[16]  Grzegorz Rozenberg,et al.  High-level Petri Nets: Theory And Application , 1991 .

[17]  François Vernadat,et al.  Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets , 1990, CAV.

[18]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[19]  Wolfgang Reisig,et al.  Application and Theory of Petri Nets , 1982, Informatik-Fachberichte.

[20]  Robert E. Milne,et al.  The formal description technique LOTOS : By P.H.J. van Eijk, C.A. Vissers and M. Diaz, eds. North-Holland, Amsterdam, Netherlands, 1989, Price $102.50 (hardback), ISBN 0-444-87267-1. , 1990 .

[21]  Michel Diaz,et al.  Formal Description Technique Estelle: Results of the Esprit Sedos Project , 1989 .

[22]  Gérard Boudol,et al.  Some Chemical Abstract Machines , 1993, REX School/Symposium.