A cooperative multi-robot system (CMRS) modeling method called fuzzy timed agent based Petri nets (FTAPN) is proposed in this paper, which has been extended from fuzzy timed object-oriented Petri net (FTOPN). The proposed FTAPN can be used to model and illustrate both the structural and dynamic aspects of CMRS, which is a typical multi-agent system (MAS). At the same time, supervised learning is supported in FTAPN. As a special type of high-level object, agent is introduced into FTAPN, which is used as a common modeling object in its model. The proposed FTAPN can not only be used to model CMRS and represent system aging effect, but also be refined into the object-oriented implementation easily. At the same time, it can also be regarded as a conceptual and practical artificial intelligence (AI) tool for multi-agent systems (MAS) into the mainstream practice of the software development.
KeywordsPetri netsMulti Cooperative Robot SystemsMulti-Agent Systems
Y. U. Cao, A. S. Fukunaga, A. B. Kahng, and F. Meng, “Cooperative mobile robotics: Antecedents and directions,” Autonomous Robots, Vol. 4, pp. 7–27, 1997.
N. R. Jennings, K. Sycara, and M. Wooldridge, “A roadmap of agent research and development,” Autonomous Agents and Multi-Agent Systems, Vol. 1, pp. 7–38, 1998.
Z. Guessoum and J. P. Briot, “From active objects to autonomous agents,” IEEE Concurrency, Vol. 7, No. 3, pp. 68–76, July–September 1999.
T. Murata, “Petri nets and properties, analysis and applications,” Proceedings of IEEE, Vol. 77, pp. 541–580, 1989.
Y. L. Yao, “A Petri net model for temporal knowledge representation and reasoning,” IEEE Transactions on Systems, Man and Cybernetics, Vol. 24, pp. 1374–1382, 1994.
P. Merlin and D. Farber, “Recoverability of communication protocols—Implication of a theoretical study,” IEEE Transactions on Communication, Vol. 24, pp. 1036–1043, 1976.
J. Wang, Y. Deng, and M. Zhou, “Compositional time Petri nets and reduction rules,” IEEE Transactions on Systems, Man and Cybernetics (Part B), Vol. 30, pp. 562–572, 2000.
R. Bastide, “Approaches in unifying Petri nets and the object-oriented approach,” Proceeding of the International Workshop on Object-Oriented Programming and Models of Concurrency, Turin, Italy, June, 1995, http:// eprints. kfupm.edu.sa/26256/.
D. Harel and E. Gery, “Executable object modeling with statechart,” Proceedings of the 18th International Conference on Software Engineering, Germany, pp. 246–257, March 1996.
S. A. Schuman, “Formal object-oriented development,” Springer, Berlin, 1997.
J. E. Hong and D. H. Bae, “Software modeling and analysis using a hierarchical object-oriented Petri net,” Information Sciences, Vol.130, pp. 133–164, 2000.
E. Battiston, F. D. Cindio, and G. Mauri, “OBJSA nets: A class of high-level nets having objects as domains,” APN’88, Lecture Notes in Computer Science, Vol. 340, pp. 20–43, 1988.
O. Biberstein and D. Buchs, “An object-oriented specification language based on hierarchical algebraic Petri nets,” Proceedings of the IS-CORE Workshop Amsterdam, September 1994, http://citeseerx.ist.psu.edu/view- doc/summary?doi=10.1.1.45.3092.
C. Lakos and C. Keen, “LOOPN++: A new language for object-oriented Petri nets,” Technical Report R94-4, Net- working Research Group, University of Tasmania, Australia, April 1994.
K. Jensen, “Coloured Petri nets: Basic concepts, analysis methods and practical use,” Springer, Berlin, 1992.
H. Xu and P. F. Jia, “Timed hierarchical object-oriented Petri net-part I: Basic concepts and reachability analysis,” Lecture Notes in Artificial Intelligence (Proceedings of RSKT2006), Vol. 4062, pp. 727–734, 2006.
W. Chainbi, “Multi-agent systems: A Petri net with objects based approach,” Proceedings of IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Beijing, pp. 429–432, 2004.
W. Pedrycz and H. Camargo, “Fuzzy timed Petri nets, fuzzy sets and systems,” Vol. 140, pp. 301–330, 2003.
X. Hua and J. Peifa, “Fuzzy timed object-oriented Petri net,” Artificial Intelligence Applications and Innovations II-Proceedings of AIAI2005, Springer, pp. 155–166, September 2005.
Y. Shoham, “Agent-oriented programming,” Artificial In- telligence, Vol. 60, No.1, pp. 139–159, 1993.
J. P. Briot, “An experiment in classification and spe- cialization of synchronization schemes,“ Lecture Notes in Computer Science, No. 1107, pp. 227–249, 1996.
T. Maruichi, M. Ichikawa, and M. Tokoro, “Decentralized AI,” Modeling Autonomous Agents and Their Groups, Elsevier Science, Amsterdam, pp. 215–134, 1990.
C. Castelfranchi, “A point missed in multi-agent, DAI and HCI,” Lecture Notes in Artificial Intelligence, No. 890, pp. 49–62. 1995.
L. Gasser, ”An overview of DAI, ” Distributed Artificial Intelligence, N. A. Avouris and L. Gasser, eds., Kluwer Academic, Boston, pp. 1–25, 1992.
L. Gasser and J. P. Briot, ”Object-oriented concurrent programming and distributed artificial intelligence,” Dis- tributed Artificial Intelligence, N. A. Avouris and L. Gasser, eds., Kluwer Academic, Boston, pp. 81–108, 1992.
G. Agha and C. Hewitt, “Concurrent programming using actors: Exploiting large scale parallelism,” Lecture Notes in Computer Science, S. N. Maheshwari, ed., Springer- Verlag, New York, No. 206, pp. 19–41, 1985.
A. Yonezawa and M. Tokoro, “Object-oriented con- current programming,” The MIT Press, Cambrige, Mass., 1987.
Y. Shoham, “Agent-oriented programming,” Artificial In- telligence, Vol. 60, No.1, pp. 139–159, 1993.
Z. Guessoum and J. P. Briot, “From active objects to autonomous agents,” IEEE Concurrency, Vol. 7, No. 3, pp. 67–76, 1999.
J. E. Hong and D. H. Bae, ”Software modelling and analysis using a hierarchical object-oriented Petri net,” Information Sciences, Vol. 130, pp. 133–164, 2000.
J. L. Peterson, “Petri net theory and the modeling of systems,” Prentice-Hall, N.Y., USA, 1991.
J. H. Lee and T. E. Lee, “SECAM: A supervisory equip- ment control application model for integrated semi- conductor manufacturing equipment, ” IEEE Robotics & Automation Magazine, Vol. 11, No. 1, pp. 41 – 58, 2004.