Abstract
Conversations are a useful means of structuring communicative interactions among agents. The value of a conversation-based approach is largely determined by the conversational model it uses. Finite State Machines, used heavily to date for this purpose, are not sufficient for complex agent interactions requiring a notion of concurrency. We propose the use of Colored Petri Nets as a model underlying a language for conversation specification. This carries the relative simplicity and graphical representation of the former approach, along with greater expressive power and support for concurrency. The construction of such a language, Protolingua, is currently being investigated within the framework of the Jackal agent development environment. In this paper, we explore the use of Colored Petri Nets in modeling agent communicative interaction.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Agerwala, T.: Putting Petri Nets to work. Computer 85–94 (December 1979)
Barbuceanu, M., Fox, M.S.: COOL: A language for describing coordination in multiagent systems. In: Lesser, V. (ed.) Proceedings of the First International Conference on Multi-Agent Systems, San Francisco, CA, pp. 17–25. MIT Press, Cambridge (1995)
Billington, J., Farrington, M., Du., B.B.: Modelling and analysis of multi-agent communication protocols using CP-nets. In: Proceedings of the third Biennial Engineering Mathematics and Applications Conference (EMAC 1998), Adelaide, Australia, July 1998, pp. 119–122 (1998)
Bradshaw, J.M.: KAoS: An open agent architecture supporting reuse, interoperability, and extensibility. In: Tenth Knowledge Acquisition for Knowledge-Based Systems Workshop (1996)
Bradshaw, J.M., Dutfield, S., Benoit, P., Woolley, J.D.: KAoS: Toward an industrial-strength open agent architecture. In: Bradshaw, J.M. (ed.) Software Agents. AAAI/MIT Press (1998)
Chauhan, D.: JAFMAS: A Java-based agent framework for multiagent systems development and implementation. Master’s thesis, ECECS Department, University of Cincinnati (1997)
Chen, Y., Peng, Y., Finin, T., Labrou, Y., Cost, S.: A negotiation-based multi-agent system for supply chain management. In: Working Notes of the Agents 1999 Workshop on Agents for Electronic Commerce and Managing the Internet-Enabled Supply Chain., Seattle, WA (April 1999)
Cost, R.S., Finin, T., Labrou, Y., Luan, X., Peng, Y., Soboroff, I., Mayfield, J., Boughannam, A.: Jackal: A Java-based tool for agent development. In: Baxter, J., Logan, C.B. (eds.) Working Notes of the Workshop on Tools for Developing Agents, AAAI 1998, number WS-98-10 in AAAI Technical Reports, Minneapolis, Minnesota, July 1998, pp. 73–82. AAAI Press (1998)
Department of Computer Science, University of Aarhus, Denmark. Design/CPN Occurrence Graph Manual, version 3.0 edition (1996)
Dickenson, I.: Agent standards. Technical report, Foundation for Intelligent Physical Agents (October 1997)
Elio, R., Haddadi, A.: On abstract task models and conversation policies. In: Working Notes of the Workshop on Specifying and Implementing Conversation Policies, pp. 89-98, Seattle, Washington (May 1999)
Fallah-Seghrouchni, A.E., Mazouzi, H.: A hierarchial model for interactions in multi-agent systems. In: Working Notes of the Workshop on Agent Communication Languages, IJCAI 1999 (August 1999)
Finin, T., Labrou, Y., Mayfield, J.: KQML as an agent communication language. In: Bradshaw, J. (ed.) Software Agents. MIT Press, Cambridge (1997)
FIPA. FIPA 97 specification part 2: Agent communication language. Technical report, FIPA - Foundation for Intelligent Physical Agents (October 1997)
Holvoet, T., Keilmann, T.: Behavior specification of active objects in open generative communication environments. In: El-Rewini, H., Patt, Y.N. (eds.) Proceedings of the HICSS-30 Conference, Track on Coordination Models, Languages and Systems, January 7-10, pp. 349–358. IEEE Computer Society Press, Los Alamitos (1997)
Holvoet, T., Verbaeten, P.: Using petri nets for specifying active objects and generative communication. In: Agha, G., DeCindio, F. (eds.) Advances in Petri Nets on Object-Orientation. LNCS. Springer, Heidelberg (1998)
Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Basic Concepts of Monographs in Theoretical Computer Science, vol. 1. Springer, Heidelberg (1992)
Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Analysis Methods of Monographs in Theoretical Computer Science, vol. 2. Springer, Heidelberg (1994)
Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Practical Use of Monographs in Theoretical Computer Science, vol. 3. Springer, Heidelberg (1997)
Kuwabara, K., Ishida, T., Osato, N.: AgenTalk: Describing multiagent coordination protocols with inheritance. In: Proceedings of the 7th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 1995), pp. 460–465 (1995)
Labrou, Y.: Semantics for an Agent Communication Language. PhD thesis, University of Maryland Baltimore County (1996)
Lin, F., Norrie, D.H., Shen, W., Kremer, R.: Schema-based approach to specifying conversation policies. In: Working Notes of the Workshop on Specifying and Implementing Conversation Policies, Third International Conference on Autonomous Agents, Seattle, Washington, May 1999, pp. 71–78 (1999)
Moldt, D., Wienberg, F.: Multi-agent-systems based on coloured petri nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 82–101. Springer, Heidelberg (1997)
Nodine, M.H., Unruh, A.: Facilitating open communication in agent systems: the InfoSleuth infrastructure. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol. 1365, pp. 281–295. Springer, Heidelberg (1998)
Van Dyke Parunak, H.: Visualizing agent conversations: Using enhanced dooley graphs for agent design and analysis. In: Proceedings of the Second International Conference on Multi-Agent Systems (ICMAS 1996) (1996)
Peng, Y., Finin, T., Labrou, Y., Cost, R.S., Chu, B., Long, J., Tolone, W.J., Boughannam, A.: An agent-based approach for manufacturing integration - the CIIMPLEX experience. International Journal of Applied Artificial Intelligence 13(l–2), 39–64 (1999)
Pitt, J., Mamdani, A.: Communication protocols in multi-agent systems. In: Working Notes of the Workshop on Specifying and Implementing Conversation Policies, Seattle, Washington, May 1999, pp. 39–48 (1999)
Purvis, M., Cranefield, S.: Agent modelling with petri nets. In: Proceedings of the CESA 1996 (Computational Engineering in Systems Applications) Symposium on Discrete Events and Manufacturing Systems, Lille, France, July 1996, pp. 602–607. IMACS, IEEE-SMC (1996)
Shoham, Y.: Agent-oriented programming. Artificial Intelligence 60, 51–92 (1993)
White, J.: Mobile agents. In: Bradshaw, J.M. (ed.) Software Agents. MIT Press, Cambridge (1995)
Wienberg, F.: Multiagentensysteme auf def Basis gefärbter Petri-Netze. PhD thesis, Universitat Hamburg Fachbereich Informatik (1996)
Winograd, T., Flores, F.: Understanding Computers and Cognition. Addison-Wesley, Reading (1986)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Cost, R.S., Chen, Y., Finin, T., Labrou, Y., Peng, Y. (2000). Using Colored Petri Nets for Conversation Modeling. In: Dignum, F., Greaves, M. (eds) Issues in Agent Communication. Lecture Notes in Computer Science(), vol 1916. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722777_12
Download citation
DOI: https://doi.org/10.1007/10722777_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41144-4
Online ISBN: 978-3-540-40028-8
eBook Packages: Springer Book Archive