Réseaux de Pétri
Voici ensuite les 2 tableaux qui synthétisent les 2 séquenceurs; l'un possède 15 étapes avec une simple boucle à l'arrivée. L'autre en possède 8 mais possède plusieurs boucles.
Le premier régule la circulation des 2 trains situés au niveau des oreilles (respectivement en haut à gauche et en haut à droite).
La deuxième gère, quant à lui, les 2 trains du centre.
Voici les réseaux de pétri illustrant les 2 tableaux des séquenceurs.Ceux-ci possèdent une architecture assez simple.Le format utilisé pour l'image est un format gif animé pour une meilleure clarté.Les lettres et les croisements (notés CR) sont annotés sur notre réalisation.
Séquenceur 1:
Séquenceur 2 :