20th International Conference on Advanced Information Networking and Applications - Volume 1 (AINA'06) (2006)
Apr. 18, 2006 to Apr. 20, 2006
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/AINA.2006.271
Zhuomin Du , Wuhan University,Wuhan, 430072, Ch
Yanxiang He , Wuhan University,Wuhan, 430072, Ch
The number of operations and states of a plan in multiagent 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.
Y. He and Z. Du, "Plan Specification of Multi-agent based on Coloured Petri Nets," 20th International Conference on Advanced Information Networking and Applications - Volume 1 (AINA'06)(AINA), Vienna, Austria, 2006, pp. 912-916.