In: Gabriela Lindemann, Jörg Denzinger, Ingo J. Timm, et al. (Eds.): Lecture Notes in Computer Science, Vol. 3187: Multiagent System Technologies: Second German Conference, MATES 2004, Erfurt, Germany, September 29-30, 2004, pages 85-98. Springer-Verlag, 2004.
Abstract: The behaviour of interacting agents in a Multi-agent System can be modelled effectively using Petri Nets. The interaction of several agents forms a distributed workflow, which can be analyzed in different ways using well-known Petri Net methods. Therefore this paper proposes an approach to modelling and analysing agent interaction protocols using Petri Net analysis.
Keywords: Agent; analysis; modelling; Mulan; nets within nets; Petri nets; Renew; verification; workflow.