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.
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
Grady Booch, James Rumbaugh, and Ivar Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, Reading, Massachusetts, 1996.
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.
Lawrence Cabac. Entwicklung von geometrisch unterscheidbaren Komponenten zur Vereinheitlichung von Mulan-Protokollen. Studienarbeit, University of Hamburg, Department of Computer Science, 2002.
O.-J. Dahl, E. W. Dijkstra, and C. A. R. Hoare. Structured Programming. Acad. Press, London, 7th edition, 1975.
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.
Foundation for Intelligent Physical Agents. http://www.fipa.org.
FIPA. FIPA Interaction Protocol Library Specification, August 2001. http://www.fipa.org/specs/fipa00025/XC00025E.pdf.
K. Jensen and G. Rozenberg, editors. High-level Petri Nets — Theory and Application. Springer-Verlag, Berlin Heidelberg, 1991.
Kurt Jensen. Coloured Petri Nets, volume 1. Springer-Verlag, Berlin, 2nd edition, 1996.
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.
Olaf Kummer. Referenznetze. PhD thesis, University of Hamburg, Department of Computer Science, Logos-Verlag, Berlin, 2002. R35896-7.
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.
Olaf Kummer, Frank Wienberg, and Michael Duvigneau. Renew — user guide. Dokumentation, University of Hamburg, Department of Computer Science, 2001. http://www.renew.de.
LabVIEW. Labview home, 2002. http://www.labview.com.
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).
Daniel Moldt. Höhere Petrinetze als Grundlage für Systemspezifikationen. PhD thesis, University of Hamburg, Department of Computer Science, August 1996.
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.
Horst Oberquelle. Sprachkonzepte für benutzergerechte Systeme. Springer-Verlag, Berlin, 1987.
Kirsten Nygaard Ole-Johan Dahl. SIMULA: An ALGOL-based Simulation Language. Communication of the ACM, September 1966.
Inc. Pictorius. The home of visual object-oriented development environments., 2002. http://www.pictorius.com/home.html.
Wolfgang Reisig. Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets. Springer-Verlag New York, October 1997.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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