Multi-Agent System Interaction Protocol Parallel Control Algorithm
Institute of Information Theories and Applications FOI ITHEA
The purpose of the paper is to explore the possibility of applying existing formal theories of description
and design of distributed and concurrent systems to interaction protocols for real-time multi-agent systems. In
particular it is shown how the language PRALU, proposed for description of parallel logical control algorithms and
rooted in the Petri net formalism, can be used for the modeling of complex concurrent conversations between
agents in a multi-agent system. It is demonstrated with a known example of English auction on how to specify an
agent interaction protocol using considered means.