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
...