Abstract: Coloured Petri nets can describe the concrete semantics of resources and operations. Pirstiy, me numoer of operations and states of a plan in multi-agent system must be finite, and the finite number of elements of Coloured Petri nets really satisfies the

Key words: Plan, Coloured petri nets, Multi-agent