Abstract
This work proposes a way to model the structure and behaviour of agents in terms of executable coloured Petri net protocols. Structure and behaviour are not all aspects of agent based computing: agents need a world to live in (mostly divided into platforms), they need a general structure (e.g. including a standard interface for communication) and their own special behaviour. Our approach tackles all three parts in terms of Petri nets. This paper skips the topic of agent platforms and handles the agent structure briefly to introduce a key concept of our work: the graphical modelling of the behaviour of autonomous and adaptive agents.
A special kind of coloured Petri nets is being used throughout the work: reference nets. Complex agent behaviour is achieved via dynamic composition of simpler sub-protocols, a task that reference nets are especially well suited for. The inherent concurrency of Petri nets is another point that makes it easy to model agents: multiple threads of control are (nearly) automatically implied in Petri nets.
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
Eric Badouel and Javier Oliver. Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes. Research report pi 1163, INRIA, 1998.
Bernhard Bauer, James Odell, and H. van Dyke Parunak. Extending UML for Agents. In Proceeding of Agent-Oriented Information Systems Workshop, pages 3–17, 2000.
Jeffrey M. Bradshaw, editor. Software Agents. AAAI Press, 1997.
J.M. Bradshaw. An Introduction to Software Agents, chapter 1. in: [Bra97a], 1997.
Walid Chainbi, Chihab Hanachi, and Christophe Sibertin-Blanc. The Multi-agent Prey/Predator problem: A Petri net solution. In P. Borne, J.C. Gentina, E. Craye, and S. El Khattabi, editors, Proceedings of the Symposium on Discrete Events and Manufacturing systems, Lille, France, July 9-12 1996. CESA’96 IMACS Multiconference on Computational Engineering in System Applications.
S. Christensen and N.D. Hansen. Coloured Petri nets extended with channels for synchronous communication. In Rober Valette, editor, Application and Theory of Petri Nets 1994, Proc. of 15th Intern. Conf. Zaragoza, Spain, June 1994, LNCS, pages 159–178, June 1994.
R. Scott Cost, Ye Chen, T. Finin, Y. Labrou, and Y. Peng. Modeling agent conversation with colored Petri nets. In Working notes on the workshop on specifying and implementing concersation policies (Autonomous agents’ 99), 1999.
R.S. Cost, T Finin, Y. Labrou, X. Luan, Y. Peng, L. Soboroff, J. Mayfield, and A. Voughannanm. Jackal: A Java-based Tool for Agent Development. In Working Notes of the Workshop on Tools for Developing Agents, AAAI’98, pages 73–82. AAAI Press, 1998.
Jonathan Dale and Ebrahim Mamdani. Open standards for interoperating agent based systems. Software Focus, Wiley, 2001.
Joao M. Fernandes and Orlando Belo. Modeling Multi-Agent Systems Activities Through Colored Petri Nets. In 16th IASTED International Conference on Applied Infomatics (AI’98), pages 17–20, Garmisch-Partenkirchen, Germany, Feb. 1998.
Jorge C. A. Figueiredo and Angelo Perkusich. G-Nets: A Petri Net Based Approach for Logical and Timing Analysis of Complex Softwaree Systems. Journal of Systems and Software, 39 (1)(39–59), 1997.
Tim Finin and Yannis Labrou. A Proposal for a new KQML Specification. Technical report, University of Maryland, Februar 1997.
FIPA. Homepage. http://www.fipa.org.
FIPA. FIPA 97 Specification, Part 1-Agent Management. Technical report, Foundation for Intelligent Physical Agents, http://www.fipa.org, Oktober 1998.
FIPA. FIPA 97 Specification, Part 2-Agent Communication Language. Technical report, Foundation for Intelligent Physical Agents, http://www.fipa.org, Oktober 1998.
Martin Fowler. UML Distilled. Addison-Wesley Longman, Inc., 1. edition, 1997.
Daniela Hinck, Michael Köhler, Roman Langer, Daniel Moldt, and Heiko Rölke. Bourdieus Habitus-Konzept als prägendes Strukturelement für Multiagentensysteme. Mitteilung 298, Universität Hamburg, Fachbereich Informatik, 2000.
Tom Holvoet. Agents and Petri Nets. Petri net Newsletter, 49:3–8, 1995.
Nicholas R. Jennings. On agent-based software engineering. Artificial Intelligence, 177(2):277–296, 2000.
K. Jensen. Coloured Petri nets, Basic Metods, Analysis Methods and Practical Use, volume 1 of EATCS monographs on theoretical computer science. Springer-Verlag, 1992.
E. Jessen and R. Valk. Rechensysteme-Grundlagen der Modellbildung. Springer-Verlag, 1987.
Michael Köhler, Daniel Moldt, and Heiko Rölke. Liveness preserving composition of agent Petri nets. Technical report, Universität Hamburg, Fachbereich Informatik, 2001.
Olaf Kummer. Simulating synchronous channels and net instances. In J. Desel, P. Kemper, E. Kindler, and A. Oberweis, editors, Forschungsbericht Nr. 694: 5. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 73–78. Universitä Dortmund, Fachbereich Informatik, 1998.
Olaf Kummer, Frank Wienberg, and Michael Duvigneau. Renew-User Guide. University of Hamburg, Vogt-Kölln-Straße, Hamburg, 1.4 edition, November 2000.
Toshiyuki Miyamoto and Sadatoshi Kumagai. A Multi Agent Net Model of Autonomous Distributed Systems. In Proceedings of CESA’96, Symposium on Discrete Events and Manufacturing Systems, pages 619–623, 1996.
Toshiyuki Miyamoto and Sadatoshi Kumagai. A Multi Agent Net Model and the Realization of Software Environment. In 20th International Conference on Application and Theory of Petri Nets, Proceedings of the Workshop: Applications of Petri nets to intelligent system development, pages 83–92, June 1999.
Daniel Moldt. Höhere Petrinetze als Grundlage der Systemspezifikation. Dissertation, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, 22527 Hamburg, Deutschland, 1996.
Daniel Moldt and Ivana Tričković. The paradigm of nets in nets as a framework for mobility. Unpublished Technical Report, 2001.
Daniel Moldt and Frank Wienberg. Multi-agent-systems based on coloured Petri nets. In P. Azéma and G. Balbo, editors, Lecture Notes in Computer Science: 18th International Conference on Application and Theory of Petri Nets, Toulouse, France, volume 1248, pages 82–101, Berlin, Germany, June 1997. Springer-Verlag.
James Odell and H. van Dyke Parunak. Representing Social Structures in UML. In Proceedings of Autonomous Agents’01, Montreal, Canada, May/June 2001.
Wolfgang Reisig. Petri nets: an introduction. Springer, 1985.
Heiko Rölke. Modellierung und Implementation eines Multi-Agenten-Systems auf der Basis von Referenznetzen. Diplomarbeit, Universität Hamburg, 1999.
Heiko Rölke. Die Mulan Architektur. Technical report, Universität Hamburg, 2000.
Christophe Sibertin-Blanc. Cooperative Nets. In Proceedings of the 15th International Conference on Application and Theory of Petri nets, volume LNCS 815, Saragossa, June 1994.
Rüdiger Valk. Self-modifying nets. Technical Report Nr. 34, Universiät Hamburg, 1977. R 6033.
Rüdiger Valk. Petri nets as token objects: An introduction to elementary object nets. In Jörg Desel and Manuel Silva, editors, Application and Theory of Petri Nets, volume 1420 of Lecture Notes in Computer Science, pages 1–25, June 1998.
Gerhard Weiß. Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence. The MIT Press, 1999.
Michael Wooldridge. Intelligent Agents, chapter 1. The MIT Press, 1999.
Haiping Xu and Sol M. Shatz. A Framework for Modeling Agent-Oriented Software. In Proc. of the 21th International Conference on Distributed Computing Systems (ICDCS-21), Phoenix, Arizona, April 2001.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Köhler, M., Moldt, D., Rölke, H. (2001). Modelling the Structure and Behaviour of Petri Net Agents. In: Colom, JM., Koutny, M. (eds) Applications and Theory of Petri Nets 2001. ICATPN 2001. Lecture Notes in Computer Science, vol 2075. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45740-2_14
Download citation
DOI: https://doi.org/10.1007/3-540-45740-2_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42252-5
Online ISBN: 978-3-540-45740-4
eBook Packages: Springer Book Archive