2
Proces CCS dla dystrybutora napojów w dwóch różnych cenach
Dozownik napojów wymaga od użytkownika włożenia monety ( do¯c¯\bar c ), a następnie naciśnięcia jednego z trzech przycisków: prosi o filiżankę herbaty , to samo na kawę, i prosi o zwrot pieniędzy (tzn. maszyna zwraca monetę: ). Dozownik można modelować za pomocą następującego procesu CCS :eherbaty ˉ R ˉ bre¯herbatare¯herbata\bar …