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.