Petri Net Plans A Framework for Collaboration and Coordination in Multi-Robot Systems

Programming the behavior of multi-robot systems is a challenging task which has a key role in developing effective systems in many application domains. In this paper, we present Petri Net Plans (PNPs), a language based on Petri Nets (PNs), which allows for intuitive and effective robot and multi-robot behavior design. PNPs are very expressive and support a rich set of features that are critical to develop robotic applications, including sensing, interrupts and concurrency. As a central feature, PNPs allow for a formal analysis of plans based on standard PN tools. Moreover, PNPs are suitable for modeling Multi-Robot Systems and the developed behaviors can be executed in a distributed setting, while preserving the properties of the modeled system. PNPs have been deployed in several robotic platforms in different application domains. In this paper, we report three case studies, which address complex single robot plans, coordination and collaboration.

[1]  Yun Peng,et al.  Using Colored Petri Nets for Conversation Modeling , 2000, Issues in Agent Communication.

[2]  Alessandro Saffiotti,et al.  The Saphira architecture: a design for autonomy , 1997, J. Exp. Theor. Artif. Intell..

[3]  Milind Tambe,et al.  Towards Flexible Teamwork , 1997, J. Artif. Intell. Res..

[4]  Erann Gat,et al.  Integrating Planning and Reacting in a Heterogeneous Asynchronous Architecture for Controlling Real-World Mobile Robots , 1992, AAAI.

[5]  Michael Winikoff,et al.  Debugging multi-agent systems using design artifacts: the case of interaction protocols , 2002, AAMAS '02.

[6]  Alan A. Desrochers,et al.  Modeling and analysis of multi-agent systems using petri nets , 2007, 2007 IEEE International Conference on Systems, Man and Cybernetics.

[7]  Fei-Yue Wang,et al.  A Petri-net coordination model for an intelligent mobile robot , 1991, IEEE Trans. Syst. Man Cybern..

[8]  Daniele Nardi,et al.  Petri net plans: a formal model for representation and execution of multi-robot plans , 2008, AAMAS.

[9]  Pedro U. Lima,et al.  Modelling, analysis and execution of robotic tasks using petri nets , 2007, 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[10]  M.P. Georgeff,et al.  Procedural knowledge , 1986, Proceedings of the IEEE.

[11]  Anthony Stentz,et al.  Multi-robot exploration controlled by a market economy , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[12]  Daniele Nardi,et al.  Distributed Coordination in Heterogeneous Multi-Robot Systems , 2003, Auton. Robots.

[13]  Alessandro Saffiotti,et al.  An introduction to the anchoring problem , 2003, Robotics Auton. Syst..

[14]  Lin Padgham,et al.  First principles planning in BDI systems , 2009, AAMAS.

[15]  Vijay Kumar,et al.  Dynamic role assignment for cooperative robots , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[16]  Coordinated Team Play in the Four-Legged RoboCup League , 2007, 19th IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2007).

[17]  John Yen,et al.  Modeling and verifying multi-agent behaviors using predicate/transition nets , 2002, SEKE '02.

[18]  Daniele Nardi,et al.  OpenRDK: A modular framework for robotic software development , 2008, 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[19]  Pedro U. Lima,et al.  Petri net models of robotic tasks , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[20]  Steven S. Beauchemin,et al.  Petri Net-Based Cooperation In Multi-Agent Systems , 2007, Fourth Canadian Conference on Computer and Robot Vision (CRV '07).

[21]  Pedro U. Lima,et al.  Petri Net Plans , 2011, Autonomous Agents and Multi-Agent Systems.

[22]  Hector J. Levesque,et al.  The Frame Problem and Knowledge-Producing Actions , 1993, AAAI.

[23]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

[24]  Edmund H. Durfee,et al.  Distributed Problem Solving and Planning , 2001, EASSS.

[25]  Matthias Jüngel,et al.  XABSL - A Pragmatic Approach to Behavior Engineering , 2006, 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[26]  Daniele Nardi,et al.  Assignment of Dynamically Perceived Tasks by Token Passing in Multirobot Systems , 2006, Proceedings of the IEEE.

[27]  Giuseppe De Giacomo,et al.  Planning with Sensing for a Mobile Robot , 1997, ECP.

[28]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[29]  Daniele Nardi,et al.  Multi‐objective exploration and search for autonomous rescue robots , 2007, J. Field Robotics.

[30]  Erann Gat,et al.  ESL: a language for supporting robust plan execution in embedded autonomous agents , 1997, 1997 IEEE Aerospace Conference.

[31]  B. Turchiano,et al.  Supervisory control of mobile sensor networks: math formulation, simulation, and implementation , 2006, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[32]  Maja J. Mataric,et al.  Principled Communication for Dynamic Multi-robot Task Allocation , 2000, ISER.

[33]  Pedro U. Lima,et al.  A robotic soccer passing task using petri net plans , 2008, AAMAS.

[34]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[35]  Anthony Stentz,et al.  Opportunistic optimization for market-based multirobot control , 2002, IEEE/RSJ International Conference on Intelligent Robots and Systems.

[36]  Winfried Lamersdorf,et al.  Validation of BDI Agents , 2006, PROMAS.

[37]  Jörn Freiheit,et al.  TimeNET/sub MS/-an integrated modeling and performance evaluation tool for manufacturing systems , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[38]  Weihua Sheng,et al.  Peer-to-peer multi-robot coordination algorithms: petri net based analysis and design , 2005, Proceedings, 2005 IEEE/ASME International Conference on Advanced Intelligent Mechatronics..

[39]  Reid G. Simmons,et al.  A task description language for robot control , 1998, Proceedings. 1998 IEEE/RSJ International Conference on Intelligent Robots and Systems. Innovations in Theory, Practice and Applications (Cat. No.98CH36190).

[40]  Lynne E. Parker,et al.  ALLIANCE: an architecture for fault tolerant multirobot cooperation , 1998, IEEE Trans. Robotics Autom..

[41]  Ray G. Gosine,et al.  Coordinated execution of tasks in a multiagent environment , 2003, IEEE Trans. Syst. Man Cybern. Part A.

[42]  Maja J. Mataric,et al.  Broadcast of Local Elibility for Multi-Target Observation , 2000, DARS.

[43]  Chung-Hsien Kuo,et al.  Modeling and Control of Autonomous Soccer Robots Using Distributed Agent Oriented Petri Nets , 2006, 2006 IEEE International Conference on Systems, Man and Cybernetics.

[44]  Cohen Phil.  Teamwork: Special Issue on Cognitive Science and Artificial Intelligence , 1991 .

[45]  Alberto RibesAbstract,et al.  Multi agent systems , 2019, Proceedings of the 2005 International Conference on Active Media Technology, 2005. (AMT 2005)..

[46]  Gal A. Kaminka,et al.  Representing Conversations for Scalable Overhearing , 2011, J. Artif. Intell. Res..

[47]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[48]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[49]  Wolfram Burgard,et al.  Probabilistic Robotics (Intelligent Robotics and Autonomous Agents) , 2005 .

[50]  Kurt Konolige.  COLBERT: A Language for Reactive Control in Sapphira , 1997, KI.

[51]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[52]  Anthony Stentz,et al.  A Market Approach to Multirobot Coordination , 2001 .

[53]  Robert James Firby,et al.  Adaptive execution in complex dynamic worlds , 1989 .

[54]  Gal A. Kaminka,et al.  Flexible Teamwork in Behavior-Based Robots , 2005, AAAI.

[55]  Hadas Kress-Gazit,et al.  Temporal-Logic-Based Reactive Mission and Motion Planning , 2009, IEEE Transactions on Robotics.