On considère le système de communication d'un satellite ... - Lirmm

Exercice 1 : Structures algorithmiques ... Avec l'outil TINA simulez les réseaux et vérifiez les propriétés. Exercice 2 : Distributeur de friandises ... Modéliser la commande de ce transbordeur par réseau de Petri (il est conseillé de modéliser  ...