Plan specification of multi-agent based on coloured Petri nets

The number of operations and states of a plan in multi-agent system is finite, and the number of coloured Petri nets element also is finite. Moreover, the action of plan is similar to the transition of coloured Petri nets and the state or the resource of plan is similar to the place of coloured Petri nets. Therefore plan can be modelled effectively by coloured Petri nets. Consequently, the action, the state and the interaction of plan are modelled by coloured Petri nets detailedly. Furthermore, the specification, validity and simulation of plan can be described by the theoretical techniques of Coloured Petri nets.

[1]  Hector J. Levesque,et al.  Rational interaction as the basis for communication , 2003 .

[2]  P. Krutchen,et al.  The Rational Unified Process: An Introduction , 2000 .

[3]  Marco Pistore,et al.  Agent-Oriented Modeling by Interleaving Formal and Informal Specification , 2003, AOSE.

[4]  Jörg P. Müller,et al.  Agent UML: A Formalism for Specifying Multiagent Software Systems , 2001, Int. J. Softw. Eng. Knowl. Eng..

[5]  Philippe Kruchten,et al.  The Rational Unified Process: An Introduction , 1998 .

[6]  Manuela M. Veloso,et al.  OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains , 2000, J. Artif. Intell. Res..

[7]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

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

[9]  David J. Israel,et al.  Plans and resource‐bounded practical reasoning , 1988, Comput. Intell..

[10]  Jacques Ferber,et al.  Multi-agent systems - an introduction to distributed artificial intelligence , 1999 .

[11]  K. Mani Chandy,et al.  Parallel program design - a foundation , 1988 .

[12]  Guido Boella,et al.  Try-execute Check-constr Perform-action 3 the Agent-modeling Library a Plan-based Formalism to Express Knowledge about Actions , 1997 .

[13]  Hans Weigand,et al.  A language/action perspective on cooperative information agents , 1996 .

[14]  J. V. Rauff,et al.  Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence , 2005 .

[15]  Judith Wusteman.  Philosophy and AI: Essays at the Interface , 1992 .

[16]  Munindar P. Singh,et al.  Formal methods in DAI: logic-based representation and reasoning , 1999 .

[17]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..