Using Colored Petri Nets for Conversation Modeling

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.

[1]  Timothy W. Finin,et al.  A negotiation-based Multi-agent System for Supply Chain Management , 1999 .

[2]  T. Agerwala,et al.  Putting Petri nets to work , 1989 .

[3]  Yun Peng,et al.  Modeling agent conversations with colored petri nets , 1999 .

[4]  Timothy W. Finin,et al.  Semantics for an Agent Communication Language , 1997, ATAL.

[5]  Jeffrey M. Bradshaw,et al.  KAoS: toward an industrial-strength open agent architecture , 1997 .

[6]  Michael R. Genesereth,et al.  Software agents , 1994, CACM.

[7]  Jean-pierre Briot,et al.  Modeling and Validation of Mobile Agents on the Web , 1998 .

[8]  Yun Peng,et al.  Agent-Based Approach for Manufacturing Integration: The Ciimplex Experience , 1999, Appl. Artif. Intell..

[9]  Tilak Agerwala,et al.  Special Feature: Putting Petri Nets to Work , 1979, Computer.

[10]  Søren Christensen,et al.  A General Systematic Approach to Arc Extensions for Coloured Petri Nets , 1994, Application and Theory of Petri Nets.

[11]  Tim Finin,et al.  Negotiating agents for supply chain management , 1999, AAAI 1999.

[12]  Weiming Shen,et al.  A Schema-Based Approach to Specifying Conversation Policies , 2000, Issues in Agent Communication.

[13]  Kazuhiro Kuwabara,et al.  AgenTalk: describing multiagent coordination protocols with inheritance , 1995, Proceedings of 7th IEEE International Conference on Tools with Artificial Intelligence.

[14]  Stephen Cranefield,et al.  Agent modelling with Petri nets , 1996 .

[15]  Søren Christensen,et al.  Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs , 1992, Application and Theory of Petri Nets.

[16]  Pierre Verbaeten,et al.  Synchronization Speciications for Agents with Net-based Behaviour Description , 1996 .

[17]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[18]  Mark S. Fox,et al.  COOL: A Language for Describing Coordination in Multi Agent Systems , 1995, ICMAS.

[19]  H. Van Dyke Parunak,et al.  Visualizing Agent Conversations: Using Enhanced Dooley Graphs for Agent Design and Analysis , 1996 .

[20]  Renée Elio,et al.  On Abstract Task Models and Conversation Policies , 2001 .

[21]  Amal El Fallah Seghrouchni,et al.  A Formal Study of Interactions in Multi-agent Systems , 1999, Int. J. Comput. Their Appl..

[22]  Enric Plaza,et al.  Conversation Protocols: Modeling and Implementing Conversations in Agent-Based Systems , 2000, Issues in Agent Communication.

[23]  Daniel Moldt,et al.  Multi-Agent-Systems Based on Coloured Petri Nets , 1997, ICATPN.

[24]  Yoav Shoham,et al.  Agent-Oriented Programming , 1992, Artif. Intell..

[25]  Pierre Verbaeten,et al.  Using Petri Nets for Specifying Active Objects and Generative Communication , 2001, Concurrent Object-Oriented Programming and Petri Nets.

[26]  Scott A. Moore.  On Conversation Policies and the Need for Exceptions , 2000, Issues in Agent Communication.

[27]  Marian H. Nodine,et al.  Facilitating Open Communication in Agent Systems: The InfoSleuth Infrastructure , 1997, ATAL.

[28]  Munindar P. Singh,et al.  Agents on the Web: Mobile Agents , 1997, IEEE Internet Comput..

[29]  Tom Holvoet,et al.  Agents and Petri Nets , 1995 .

[30]  Jeremy V. Pitt,et al.  Communication Protocols in Multi-agent Systems: A Development Method and Reference Architecture , 2000, Issues in Agent Communication.

[31]  Tom Holvoet,et al.  Behaviour specification of active objects in open generative communication environments , 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.

[32]  Yun Peng,et al.  Jackal: a Java-based Tool for Agent Development , 1998 .

[33]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[34]  Thilo Kielmann,et al.  Designing a Coordination Model for Open Systems , 1996, COORDINATION.

[35]  Yoav Shoham.  Agent-Oriented Programming , 1993, Artif. Intell..

[36]  Jeffrey M. Bradshaw,et al.  KAoS: An Open Agent Architecture Support-ing Reuse, Interoperability, and Extensibility , 1996 .

[37]  M. Merz,et al.  Agents, services, and electronic markets: how do they integrate? , 1996, Proceedings of IFIP/IEEE International Conference on Distributed Platforms.

[38]  Albert D. Baker,et al.  Multi-Agent Communication in JAFMAS , 1999 .

[39]  Terry Winograd,et al.  Understanding computers and cognition , 1986 .

[40]  Victor R. Lesser,et al.  Investigating Interactions between Agent Conversations and Agent Control Components , 2000, Issues in Agent Communication.

[41]  Renée Elio,et al.  Abstract task specifications for conversation policies , 2000, AGENTS '00.