Skip to main content
SpringerLink
Log in

Modelling and Analysis of Agent Protocols with Petri Nets

  • Conference paper
Multiagent System Technologies (MATES 2004)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3187))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. van der Aalst, W.: Verification of workflow nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, Springer, Heidelberg (1997)

    Google Scholar 

  2. 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)

    Google Scholar 

  3. 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)

    Google Scholar 

  4. The FIPA Agent UML web site (2004), http://www.auml.org/

  5. Davis, R., Smith, R.: Negotiation as a metaphor for distributed problem solving. Artificial Intelligence 20(1), 63–109 (1983)

    Article  Google Scholar 

  6. 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)

    Google Scholar 

  7. 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)

    Chapter  Google Scholar 

  8. Fipa contract net interaction protocol specification (December 2002), http://fipa.org/specs/fipa00029/SC00029H.pdf

  9. Foundation for intelligent physical agents ( 2004), http://www.fipa.org/

  10. 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)

    Google Scholar 

  11. Girault, C., Valk, R.: Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications. Springer, Heidelberg (2003)

    Google Scholar 

  12. Hack, M.H.T.: Decision problems for petri nets and vector addition systems. Project mac tr-59. MIT, Cambridge (1975)

    Google Scholar 

  13. Huhns, M.N., Stephens, L.M.: Multiagent systems and societies of agents. In: Weiss [26], ch. 2, pp. 79–120

    Google Scholar 

  14. Integrated net analyzer - ina (2004), Informationen zum Petrinetzanalysator INA http://www.informatik.hu-berlin.de/lehrstuehle/automaten/ina/

  15. 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

    Google Scholar 

  16. 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)

    Chapter  Google Scholar 

  17. Kummer, O.: Referenznetze. Dissertation, University of Hamburg, Department for Computer Science, Vogt-Kölln Str. 30, 22527 Hamburg, Germany (2002)

    Google Scholar 

  18. 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)

    Google Scholar 

  19. 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)

    Chapter  Google Scholar 

  20. Odell, J., Parunak, H., Bauer, B.: Extending UML for agents (2000)

    Google Scholar 

  21. 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

  22. Reisig, W.: Petrinetze; Eine Einführung, 2nd edn. Springer, Heidelberg (1986)

    Google Scholar 

  23. Rölke, H.: Modellierung und Implementation eines Multi-Agenten-Systems auf der Basis von Referenznetzen. Diplomarbeit, Universität Hamburg (1999)

    Google Scholar 

  24. Starke, P.H.: Analyse von Petri-Netz-Modellen. B.G. Teubner, Stuttgart (1990)

    Google Scholar 

  25. 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)

    Article  MATH  Google Scholar 

  26. Weiss, G. (ed.): Multiagent Systems., 2nd edn. The MIT Press, Cambridge (2000)

    Google Scholar 

  27. Woflan homepage (2004), http://www.tm.tue.nl/it/woflan

  28. Wooldridge, M.J., Jennings, N.R.: Intelligent agents: Theory and practice. The Knowledge Engineering Review 2(10), 115–152 (1995)

    Article  Google Scholar 

  29. Wooldridge, M.: Intelligent agents. In: Weiss [26], ch. 1, pp. 27–77

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Informatics, University of Hamburg, Vogt-Kölln-Str. 30, D-22527, Hamburg

    Kolja Lehmann & Daniel Moldt

Authors
  1. Kolja Lehmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Daniel Moldt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute for Computer Science, Humboldt-University Berlin, Berlin, Germany

    Gabriela Lindemann

  2. Department of Computer Science, University of Calgary, Canada

    Jörg Denzinger

  3. Information Systems and Simulation, Goethe University Frankfurt am Main, Robert-Mayer-Str. 10, 60325, Frankfurt, Germany

    Ingo J. Timm

  4. Universität Duisburg-Essen,  

    Rainer Unland

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation