Deliberation for autonomous robots: A survey, Artificial Intelligence, vol.247, pp.10-44, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01137921
The actor's view of automated planning and acting: A position paper, Artificial Intelligence, vol.208, pp.1-17, 2014. ,
Survey of Command Execution Systems for NASA Spacecraft and Robots, ICAPS Workshop on Plan Execution, 2005. ,
Plan Execution Interchange Language (PLEXIL) for Executable Plans and Command Sequences, 2005. ,
A deliberative architecture for AUV control, ICRA, 2008. ,
The SMACH High-Level Executive, IEEE Robotics & Automation Magazine, vol.17, pp.18-20, 2010. ,
Human-Robot Collaborative High-Level Control with an Application to Rescue Robotics, ICRA, 2016. ,
Modelling, analysis and execution of robotic tasks using Petri nets, IROS, 2007. ,
Petri Net Plans: A framework for collaboration and coordination in multi-robot systems, AAMAS, 2008. ,
The application of Petri nets to workflow management, Journal of Circuits, Systems, and Computers, vol.8, issue.1, pp.21-66, 1998. ,
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. ,
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.
Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs, 1993. ,
Integrating behavioral, perceptual, and world knowledge in reactive navigation, Robotics and Autonomous Systems, vol.6, issue.1-2, pp.105-122, 1990. ,
Task Execution : Interfacing Networks to Reactive Skill Networks, AAAI Spring Symposium on Lessons Learned from Implemented Software Architectures for Physical Agents, 1995. ,
Performance level profiles: A formal language for describing the expected performance of functional modules, IROS, 2016. ,
, Petri Net Algebra, 2001.
Asynchonous Box Calculus, Fundamenta Informaticae, vol.54, issue.1, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-00114675
MAUVE Runtime: A ComponentBased Middleware to Reconfigure Software Architectures in RealTime, JOSER, vol.8, issue.1, pp.128-140, 2017. ,
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