Multi-robot Motion Planning based on Nets-within-Nets Modeling and Simulation

by   Sofia Hustiu, et al.

This paper focuses on designing motion plans for a heterogeneous team of robots that has to cooperate in fulfilling a global mission. The robots move in an environment containing some regions of interest, and the specification for the whole team can include avoidances, visits, or sequencing when entering these regions of interest. The specification is expressed in terms of a Petri net corresponding to an automaton, while each robot is also modeled by a state machine Petri net. With respect to existing solutions for related problems, the current work brings the following contributions. First, we propose a novel model, denoted High-Level robot team Petri Net (HLPN) system, for incorporating the specification and the robot models into the Nets-within-Nets paradigm. A guard function, named Global Enabling Function (gef), is designed to synchronize the firing of transitions such that the robot motions do not violate the specification. Then, the solution is found by simulating the HPLN system in a specific software tool that accommodates Nets-within-Nets. An illustrative example based on a Linear Temporal Logic (LTL) mission is described throughout the paper, complementing the proposed rationale of the framework.


page 1

page 2

page 3

page 4


On Multi-Robot Path Planning Based on Petri Net Models and LTL specifications

This work considers the path planning problem for a team of identical ro...

Methodology of Designing Multi-agent Robot Control Systems Utilising Hierarchical Petri Nets

A robot system is designed as a set of embodied agents. An embodied agen...

Resilient Temporal Logic Planning in the Presence of Robot Failures

Several task and motion planning algorithms have been proposed recently ...

Reactive Integrated Mission and Motion planning

Correct-by-construction manipulation planning in a dynamic environment, ...

MT* : Multi-Robot Path Planning for Temporal Logic Specifications

We address the path planning problem for a team of robots satisfying a c...

Specification Patterns for Robotic Missions

Mobile and general-purpose robots increasingly support our everyday life...

Conformal Temporal Logic Planning using Large Language Models: Knowing When to Do What and When to Ask for Help

This paper addresses a new motion planning problem for mobile robots tas...

Please sign up or login with your details

Forgot password? Click here to reset