2
Processus CCS pour un distributeur de boissons avec deux prix différents
Un distributeur de boissons oblige l'utilisateur à insérer une pièce de monnaie ( ), puis appuyez sur l'un des trois boutons: ˉ d tea demande une tasse de thé e tea , idem pour le café, et ˉ r demande un remboursement (c'est-à-dire que la machine rend le pièce: ˉ …