This paper introduces Petri net based models of robotic tasks, which can be used to analyse
and synthesise task plans, taking into account a Petri net model that abstracts the relevant …

Develo** software for controlling robotic systems is costly due to the complexity inherent
in these systems. There is a need for tools that permit a reduction in the programming efforts …

As the usage of robots in everyday tasks increases, there is a need to improve our
knowledge concerning the execution of those robotic tasks. Robotic task models are usually …

In general, we face recurrently some common problems when programming robotic systems:
multithreading and multiprocessing, distributed computing, hardware abstraction, hardware …

This paper introduces at the specification level CoolBOT, a component-oriented
programming framework for robotics designed to assist robotic system developers in …

In this paper, we propose to study and analyze the tasks of a robot and the interaction with
its environment, by using the power of Petri nets modelling, especially the timed nets. Our …

This paper proposes a method of defining and analysing robotic tasks using Petri Nets. Both
the robot behaviors and environment are modelled using Generalized Stochastic Petri Nets …

This thesis presents novel behaviour tree based control and improved path finding algorithm
for efficient navigation of holonomic robots used in a soccer team. The hierarchical …

Develo** software for controlling robotic systems is costly due to the complexity inherent
in these systems. There is a need for tools that permit a reduction in the programming efforts …

Develo** software for controlling robotic systems is costly due to the complexity inherent
in these systems. There is a need for tools that permit a reduction in the programming efforts …