JRdP Description Supervision d'une architecture logicielle orientée composant, décrite par le méta-middleware GenoM, par un réseau de Petri. Outils tcl, GenoM, ROS, tcl-genomix, tina, Petri Nets