Bonsoir les gars je bloque heeeelpp
 
 
Exercice 3 :
 
 Modélisation d’une machine à café
 
On se propose de modéliser le fonctionnement d’une machine à café, garantie conforme à la norme AFNOR MC007, qui indique la nécessité pour les machines à café à usage privé de se mettre en veille en cas de réservoir vide.
 
 La machine peut délivrer du café ou du thé suivant le
type de capsule et de tasse insérées dans les logements prévus à cet effet. Un bouton poussoir permet de sélectionner thé ou café et déclenche le fonctionnement approprié de la machine en 2même temps.
 
 La délivrance d’un café prend 20 secondes et réclame 10cl d’eau, et celle d’un thé prend 40 secondes et réclame 20cl d’eau, quantités qui prennent en compte l’évaporation causée par le chaufage.  
 
Un réservoir de 2 litres permet d’alimenter manuellement la machine en eau.  
 
La machine ne peut être utilisée par 2 personnes en même temps, le bouton poussoir étant inhibé
pendant tout le temps de service d’un utilisateur.
 
 La machine se met d’elle même en veille si elle
reste inutilisée plus de 5 minutes, auquel cas elle a besoin d’un temps de chauffe de 90s avant de pouvoir fonctionner à nouveau.  
 
Ce préchauffage est déclenché lorsque le nouvel utilisateur presse le bouton poussoir, et occasionne une perte d’eau par évaporation de 5 cl. Le fonctionnement de
la machine est matérialisé par un voyant lumineux qui change de couleur suivant qu’elle est : en veille, en manque d’eau, prète à fonctionner, ou en service.
 
1. Modéliser cette machine sous forme d’un réseau de Petri temporel.
2. Vérifier la conformité de la machine à la norme AFNOR MC007.
3. Quel est le temps minimum (resp. maximum) d’attente pour une utilisateur de la machine
avant qu’il soit servi ?