Skip to main content
SpringerLink
Log in

A Proposal for Structuring Petri Net-Based Agent Interaction Protocols

  • Conference paper
  • First Online:
Applications and Theory of Petri Nets 2003 (ICATPN 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2679))

Included in the following conference series:

Abstract

In this paper we introduce net components as means for structuring Petri net-based agent interaction protocols. We provide a tool for effortless application of net components to nets. Thus we facilitate the construction of nets and unify their appearance. Net components can be used to derive code for interaction protocols from a subset of extended AUML (Agent Unified Modeling Language) interaction protocol diagrams. This allows for a smooth integration of some traditional software development specification approaches with high-level Petri nets. By using net components we do not only unify the structure of Mulan agent protocols but also succeed to build a common language within a community of developers who share the net components.

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. Grady Booch, James Rumbaugh, and Ivar Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, Reading, Massachusetts, 1996.

    Google Scholar 

  2. Tobias Bosch, Oliver Gries, Heiko Kausch, Maxim Klenski, Kolja Lehmann, Michael Morales, Valentin Seegert, and Anatolij Vilner. Agentenorientierte Implementierung des Spiels “Die Siedler von Catan”. Internal report, University of Hamburg, Department of Computer Science, 2002.

    Google Scholar 

  3. Lawrence Cabac. Entwicklung von geometrisch unterscheidbaren Komponenten zur Vereinheitlichung von Mulan-Protokollen. Studienarbeit, University of Hamburg, Department of Computer Science, 2002.

    Google Scholar 

  4. O.-J. Dahl, E. W. Dijkstra, and C. A. R. Hoare. Structured Programming. Acad. Press, London, 7th edition, 1975.

    Google Scholar 

  5. Michael Duvigneau, Daniel Moldt, and Heiko Rölke. Concurrent architecture for a multi-agent platform. In Proceedings of the 2002 Workshop on Agent-Oriented Software Engineering (AOSE’02). Springer Lecture Notes, 2002.

    Google Scholar 

  6. Foundation for Intelligent Physical Agents. http://www.fipa.org.

    Google Scholar 

  7. FIPA. FIPA Interaction Protocol Library Specification, August 2001. http://www.fipa.org/specs/fipa00025/XC00025E.pdf.

    Google Scholar 

  8. K. Jensen and G. Rozenberg, editors. High-level Petri Nets — Theory and Application. Springer-Verlag, Berlin Heidelberg, 1991.

    MATH  Google Scholar 

  9. Kurt Jensen. Coloured Petri Nets, volume 1. Springer-Verlag, Berlin, 2nd edition, 1996.

    MATH  Google Scholar 

  10. Michael Köhler, Daniel Moldt, and Heiko Rölke. Modeling the behaviour of Petri net agents. In Proceedings of the 22nd Conference on Application and Theory of Petri Nets, pages 224–241, 2001.

    Google Scholar 

  11. Olaf Kummer. Referenznetze. PhD thesis, University of Hamburg, Department of Computer Science, Logos-Verlag, Berlin, 2002. R35896-7.

    Google Scholar 

  12. Olaf Kummer, Frank Wienberg, and Michael Duvigneau. Renew — The Reference Net Workshop. In Tool Demonstrations — 22nd International Conference on Application and Theory of Petri Nets, 2001. See also http://www.renew.de.

    Google Scholar 

  13. Olaf Kummer, Frank Wienberg, and Michael Duvigneau. Renew — user guide. Dokumentation, University of Hamburg, Department of Computer Science, 2001. http://www.renew.de.

    Google Scholar 

  14. LabVIEW. Labview home, 2002. http://www.labview.com.

    Google Scholar 

  15. David McIntyre. Comp.lang.visual — Frequently Asked Questions List, 1998. ftp://rtfm.mit.edu/pub/usenet/comp.lang.visual/comp.lang.visual_Frequently-Asked_Questions_(FAQ).

    Google Scholar 

  16. Daniel Moldt. Höhere Petrinetze als Grundlage für Systemspezifikationen. PhD thesis, University of Hamburg, Department of Computer Science, August 1996.

    Google Scholar 

  17. Daniel Moldt and Heiko Rölke. Pattern based workflow design using reference nets. In W.M.P. van der Aalst, A.H.M. ter Hofstede, and M. Weske, editors, International Conference on Business Process Management, 2003.

    Google Scholar 

  18. Horst Oberquelle. Sprachkonzepte fĂĽr benutzergerechte Systeme. Springer-Verlag, Berlin, 1987.

    MATH  Google Scholar 

  19. Kirsten Nygaard Ole-Johan Dahl. SIMULA: An ALGOL-based Simulation Language. Communication of the ACM, September 1966.

    Google Scholar 

  20. Inc. Pictorius. The home of visual object-oriented development environments., 2002. http://www.pictorius.com/home.html.

    Google Scholar 

  21. Wolfgang Reisig. Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets. Springer-Verlag New York, October 1997.

    Google Scholar 

  22. W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros. Workflow Patterns, 2000. http://tmitwww.tm.tue.nl/research/patterns/wfs-pat-2000.pdf.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, TGI, University of Hamburg, Hamburg

    Lawrence Cabac, Daniel Moldt & Heiko Rölke

Authors
  1. Lawrence Cabac
    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

  3. Heiko Rölke
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Technology and Management, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands

    Wil M. P. van der Aalst

  2. Computer Science Department Parallel Systems Group, University of Oldenburg, 26111, Oldenburg, Germany

    Eike Best

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cabac, L., Moldt, D., Rölke, H. (2003). A Proposal for Structuring Petri Net-Based Agent Interaction Protocols. In: van der Aalst, W.M.P., Best, E. (eds) Applications and Theory of Petri Nets 2003. ICATPN 2003. Lecture Notes in Computer Science, vol 2679. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44919-1_10

Download citation

  • DOI: https://doi.org/10.1007/3-540-44919-1_10

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40334-0

  • Online ISBN: 978-3-540-44919-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation