High level transition systems for communicating agents

DOI10.1007/3-540-45397-0_20MaRDI QIDQ2761741zbMATH OpenFDO

Authors François Vernadat, Pierre Azéma

Publication date 7 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2001/20010473

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Review text

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. For the entire collection see [Zbl 0976.68544].

Recommendations

• A logic based asynchronous multi-agent system
• A multi-agent system formalization in mobile environments
• Multi-agent-systems based on coloured Petri nets
• A logic programming language for multi-agent systems
• scientific article; zbMATH DE number 2087391

Cited in

(3)

• A formal semantics for DAI language NUML
• A multi-agent system formalization in mobile environments
• scientific article; zbMATH DE number 2088159 (Why is no real title available?)

This page was built for publication: High level transition systems for communicating agents

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2761741)