La modélisation par réseau de Pétri permet la représentation de systèmes à événements discrets présentant des évolutions brutales de leurs variables d’état, donc toute application à caractère distribué, le cas notamment des systèmes automatiques, systèmes de commande et protocoles de communication. L’utilisation de cet outil débute par la modélisation de la commande à réaliser avec analyse du modèle développé, la commande modélisée est ensuite exécutée. Cet article traite de la première étape.

Ces robots visiteront l'intérieur des pyramides
Deux robots, conçus par l'Inria, pourraient pénétrer puis observer les cavités découvertes il y a peu dans la Pyramide de Khéops. L'enjeu est de laisser un minimum de traces.