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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
van der Aalst, W.: Verification of workflow nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, Springer, Heidelberg (1997)
van der Aalst, W.: WOFLAN: A Petri-net-based workflow analyser. In: International Conference on Application and Theory of Petri Nets in Lisbon. LNCS, vol. 1420, Springer, Heidelberg (1998)
van der Aalst, W.M.P.: A class of Petri nets for modeling and analyzing business processes. Technical report, Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB, Eindhoven (1995)
The FIPA Agent UML web site (2004), http://www.auml.org/
Davis, R., Smith, R.: Negotiation as a metaphor for distributed problem solving. Artificial Intelligence 20(1), 63–109 (1983)
Duvigneau, M.: Bereitstellung einer Agentenplattform für Petrinetzbasierte Agenten. Diplomarbeit, University of Hamburg, Department for Computer Science, Vogt-Kölln Str. 30, 22527 Hamburg, Germany (December 2002)
Duvigneau, M., Moldt, D., Rölke, H.: Concurrent architecture for a multi-agent platform. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol. 2585, pp. 59–72. Springer, Heidelberg (2003)
Fipa contract net interaction protocol specification (December 2002), http://fipa.org/specs/fipa00029/SC00029H.pdf
Foundation for intelligent physical agents ( 2004), http://www.fipa.org/
Gertchikova, O.: Transforming agent interaction-diagrams into executable petri nets based on FIPA conform protocols. B.Sc. Thesis, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, 22527 Hamburg (2004)
Girault, C., Valk, R.: Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications. Springer, Heidelberg (2003)
Hack, M.H.T.: Decision problems for petri nets and vector addition systems. Project mac tr-59. MIT, Cambridge (1975)
Huhns, M.N., Stephens, L.M.: Multiagent systems and societies of agents. In: Weiss [26], ch. 2, pp. 79–120
Integrated net analyzer - ina (2004), Informationen zum Petrinetzanalysator INA http://www.informatik.hu-berlin.de/lehrstuehle/automaten/ina/
Jennings, N.R., Sycara, K., Wooldridge, M.: A roadmap of agent research and development. In: Autonomous Agents and Multi-Agent Systems [26], pp. 7–38
Köhler, M., Moldt, D., Rölke, H.: Modelling the structure and behaviour of Petri net agents. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol. 2075, pp. 224–241. Springer, Heidelberg (2001)
Kummer, O.: Referenznetze. Dissertation, University of Hamburg, Department for Computer Science, Vogt-Kölln Str. 30, 22527 Hamburg, Germany (2002)
Lehmann, K.: Analyse und Bewertung von Agentenprotokollen mit Hilfe von Petrinetzen. Diplomarbeit, Universität Hamburg, Fachbereich Informatik, Vogt- Kölln Str. 30, 22527 Hamburg (2003)
Moldt, D., Rölke, H.: Pattern based workflow design using reference nets. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 246–260. Springer, Heidelberg (2003)
Odell, J., Parunak, H., Bauer, B.: Extending UML for agents (2000)
Paurobally, S., Cunningham, J., Jennings, N.: Developing agent interaction protocols using graphical and logical methodologies (2003), http://www.cs.uu.nl/ProMAS/papers/paper6.pdf
Reisig, W.: Petrinetze; Eine Einführung, 2nd edn. Springer, Heidelberg (1986)
Rölke, H.: Modellierung und Implementation eines Multi-Agenten-Systems auf der Basis von Referenznetzen. Diplomarbeit, Universität Hamburg (1999)
Starke, P.H.: Analyse von Petri-Netz-Modellen. B.G. Teubner, Stuttgart (1990)
Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnosing workflow processes using Woflan. The Computer Journal 44(4), 246–279 (2001)
Weiss, G. (ed.): Multiagent Systems., 2nd edn. The MIT Press, Cambridge (2000)
Woflan homepage (2004), http://www.tm.tue.nl/it/woflan
Wooldridge, M.J., Jennings, N.R.: Intelligent agents: Theory and practice. The Knowledge Engineering Review 2(10), 115–152 (1995)
Wooldridge, M.: Intelligent agents. In: Weiss [26], ch. 1, pp. 27–77
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lehmann, K., Moldt, D. (2004). Modelling and Analysis of Agent Protocols with Petri Nets. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds) Multiagent System Technologies. MATES 2004. Lecture Notes in Computer Science(), vol 3187. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30082-3_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-30082-3_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23222-3
Online ISBN: 978-3-540-30082-3
eBook Packages: Springer Book Archive