F. Ingrand and M. Ghallab, Deliberation for autonomous robots: A survey, Artificial Intelligence, vol.247, pp.10-44, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01137921

M. Ghallab, D. Nau, and P. Traverso, The actor's view of automated planning and acting: A position paper, Artificial Intelligence, vol.208, pp.1-17, 2014.

V. Verma, A. Jonsson, R. Simmons, T. Estlin, and R. Levinson, Survey of Command Execution Systems for NASA Spacecraft and Robots, ICAPS Workshop on Plan Execution, 2005.

V. Verma, T. Estlin, A. Jonsson, C. Pasareanu, R. Simmons et al., Plan Execution Interchange Language (PLEXIL) for Executable Plans and Command Sequences, 2005.

C. Mcgann, F. Py, K. Rajan, H. Thomas, R. Henthorn et al., A deliberative architecture for AUV control, ICRA, 2008.

J. Bohren and S. Cousins, The SMACH High-Level Executive, IEEE Robotics & Automation Magazine, vol.17, pp.18-20, 2010.

P. Schillinger, S. Kohlbrecher, and O. Von-stryk, Human-Robot Collaborative High-Level Control with an Application to Rescue Robotics, ICRA, 2016.

H. Costelha and P. Lima, Modelling, analysis and execution of robotic tasks using Petri nets, IROS, 2007.

V. Ziparo, L. Iocchi, P. Lima, D. Nardi, and P. Palamara, Petri Net Plans: A framework for collaboration and coordination in multi-robot systems, AAMAS, 2008.

W. Van-der-aalst, The application of Petri nets to workflow management, Journal of Circuits, Systems, and Computers, vol.8, issue.1, pp.21-66, 1998.

E. Best, W. Fraczak, R. Hopkins, H. Klaudel, and E. Pelz, M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages, Acta Informatica, vol.35, issue.10, pp.813-857, 1998.

F. Pommereau, Algebras of coloured Petri nets, 2010.
URL : https://hal.archives-ouvertes.fr/hal-02309870

, ABCD: A user-friendly language for formal modelling and analysis, Petri Nets, 2016.

S. Christensen and N. D. Hansen, Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs, 1993.

R. Arkin, Integrating behavioral, perceptual, and world knowledge in reactive navigation, Robotics and Autonomous Systems, vol.6, issue.1-2, pp.105-122, 1990.

R. Firby and M. Slack, Task Execution : Interfacing Networks to Reactive Skill Networks, AAAI Spring Symposium on Lessons Learned from Implemented Software Architectures for Physical Agents, 1995.

R. Brafman, M. Bar-sinai, and M. Ashkenazi, Performance level profiles: A formal language for describing the expected performance of functional modules, IROS, 2016.

E. Best, R. Devillers, and M. Koutny, Petri Net Algebra, 2001.

R. Devillers, H. Klaudel, M. Koutny, and F. Pommereau, Asynchonous Box Calculus, Fundamenta Informaticae, vol.54, issue.1, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00114675

D. Doose, C. Grand, and C. Lesire, MAUVE Runtime: A ComponentBased Middleware to Reconfigure Software Architectures in RealTime, JOSER, vol.8, issue.1, pp.128-140, 2017.

F. Pommereau, SNAKES: A Flexible High-Level Petri Nets Library, Petri Nets, 2015.
DOI : 10.1007/978-3-319-19488-2_13

URL : https://hal.archives-ouvertes.fr/hal-01186407