Fuzzy Timed Agent Based Petri Nets for Modeling Cooperative Multi-Robot Systems

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.

[1]  Les Gasser,et al.  Object-based concurrent programming and distributed artificial intelligence , 1992 .

[2]  MengChu Zhou,et al.  Compositional time Petri nets and reduction rules , 2000, IEEE Trans. Syst. Man Cybern. Part B.

[3]  Jean-Pierre Briot,et al.  From Active Objects to Autonomous Agents , 1998, IEEE Concurr..

[4]  Walid Chainbi.  Multi-agent systems: a Petri net with objects based approach , 2004, Proceedings. IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2004. (IAT 2004)..

[5]  Rémi Bastide,et al.  Approaches in unifying Petri nets and the Object-Oriented Approach , 2007 .

[6]  Les Gasser,et al.  An overview of DAI , 1992 .

[7]  A. Roadmapof.  A Roadmap of Agent Research and Development , 1995 .

[8]  P. Merlin,et al.  Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.

[9]  Alex Fukunaga,et al.  Cooperative mobile robotics: antecedents and directions , 1995 .

[10]  Cristiano Castelfranchi.  Social Power: A Point missed in Multi-Agent , 1990 .

[11]  Jean-Pierre Briot.  An Experiment in Classification and Specialization of Synchronization Schemes , 1996, ISOTAS.

[12]  Jin-Hwan Lee,et al.  SECAM: a supervisory equipment control application model for integrated semiconductor manufacturing equipment , 2004, IEEE Robotics Autom. Mag..

[13]  Giancarlo Mauri,et al.  OBJSA Nets: a Class of High- level Nets Having Objects as Domains , 1987, European Workshop on Applications and Theory of Petri Nets.

[14]  Y. Yao,et al.  A Petri Net Model for Temporal Knowledge Representation and Reasoning , 1994, IEEE Trans. Syst. Man Cybern. Syst..

[15]  Didier Buchs,et al.  An Object Oriented Specification Language based on Hierarchical Petri Nets , 1994 .

[16]  Gul Agha,et al.  Concurrent Programming Using Actors: Exploiting large-Scale Parallelism , 1985, Foundations of Software Technology and Theoretical Computer Science.

[17]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[18]  Kevin Lano,et al.  Formal object-oriented development , 1995, FACIT: Formal approaches to computing and information technology.

[19]  Yoav Shoham,et al.  Agent-Oriented Programming , 1992, Artif. Intell..

[20]  Brahim Chaib-draa,et al.  An overview of distributed artificial intelligence , 1996 .

[21]  Doo-Hwan Bae,et al.  Software modeling and analysis using a hierarchical object-oriented Petri net , 2000, Inf. Sci..

[22]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[23]  Mario Tokoro,et al.  Object-oriented concurrent programming , 1987 .

[24]  David Harel,et al.  Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[25]  Witold Pedrycz,et al.  Fuzzy timed Petri nets , 2003, Fuzzy Sets Syst..

[26]  Hua Xu,et al.  Timed Hierarchical Object-Oriented Petri Net-Part I: Basic Concepts and Reachability Analysis , 2006, RSKT.

[27]  Hua Xu,et al.  Fuzzy Timed Object-Oriented Petri Net , 2005, AIAI.

[28]  J. Paul Gibson,et al.  Formal object-oriented development of a voting system test oracle , 2011, Innovations in Systems and Software Engineering.