[1]
|
R. Reiter, “Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems,” MIT Press, London, 2001.
|
[2]
|
C. Y. Yuan, “The Principle and Application of Petri Net,” Electronic Industry Press, Beijing, 2005
|
[3]
|
P. F. Palamara, V. A. Ziparo, L. Iocchi, et al., “A Robotic Soccer Passing Task Using Petri Net Plans,” Proceedings of 7th International Conference on Autonomous Agents and Multiagent Systems, Estoril, 2008, pp. 1711-1712.
|
[4]
|
F. Silva, M. Castilho and L. Kunzle, “Petriplan: A New Algorithm for Plan Generation,” Proceedings of IBERAMIA/SBIA, Spinger-Verlag, Brazil, 2000, pp. 86-95.
|
[5]
|
V. A. Ziparo and L. Iocchi. “Petri Net Plans,” Fourth International Workshop on Modelling of Objects, Components, and Agents, Roma, 2006, pp. 267-290.
|
[6]
|
Y. Jin and M. Thielscher, “Iterated Belief Revision, Revised,” Artif Intell, Vol. 171, No. 1, 2007, pp. 1-18. doi:10.1016/j.artint.2006.11.002
|
[7]
|
S. Sardina, G. De Giacomo, Y. Les-Perance, et al., “On the Semantics of Deliberation in Indigolog-from Theory to Implementation,” Annals of Mathematics and Artificial Intelligence, Vol. 41, No. 2-4, 2004, pp. 259- 299.
|
[8]
|
CPNTools, “A Computer Tool for Colored Petri Nets,” 2008. http://www.daimi.au.dk/CPNTools/
|
[9]
|
Y. S. Liu, S. Zhong and Y. Z. Zhan, “A Model for Representing Reasoning about Actions Based on Colored Petri Net,” Journal of Jiangsu University, Natural Science Edition, Vol. 31, No. 3, 2010, pp. 335-338.
|