1 : Identifier les tapes (E0) 2 : Identifier les transitions 3 : Identifier les actions
Coder les transitions
Coder les tapes
Coder les sorties
Exemple : Machine a caf
Au dbut, le systme est ltape initiale 0. Il reste cette tape tant que la rceptivit pice de 1$ est fausse. Ds quune pice de 1$ est introduite, la rceptivit est vraie, on passe alors ltape 1. Laction associ ltape 1 est de placer une tasse. On reste cette tape tant que la tasse nest pas en position. Ainsi, on vite le risque de verser du caf trop tt. Ds quune tasse est en position, on passe ltape 2, ltape 1 est alors inactive afin de stopper lordre de placer une tasse. Laction verser caf est maintenue tant que la rceptivit 200 ml de caf verse est fausse. Ds que la dose est atteinte, Ltape 2 est dsactive (pour stopper le versement) et ltape 0 est active. On est de retour ltape dattente.