Exercice Réseau de Pétri:
Vous modélisez un distributeur de boissons. Dans son état initial, il attend qu'on appuie sur le bouton 'café' ou 'sirop'. Après cette sélection il faut 'confirmer' ou bien 'annuler' si on s'est trompé de boisson. Si on confirme, le distributeur verse la boisson choisie et pendant cette opération tous les
boutons sont inactifs. Quand la boisson est prête ou si l'on a annulé on se retrouve à l'état initial. Modélisez le systèmes décrits par un réseau de Petri.
