2
Proses CCS untuk dispenser minuman dengan dua harga berbeda
Dispenser minuman mengharuskan pengguna untuk memasukkan koin ( ), lalu tekan salah satu dari tiga tombol: meminta secangkir teh , selain kopi , dan meminta pengembalian uang (yaitu mesin mengembalikan koin: ). Dispenser ini dapat dimodelkan dengan proses CCS berikut :ˉ d teheteh ˉ r ˉ bc¯c¯\bar cd¯tehd¯tea\bar d_{\text{tea}}eteheteae_{\text{tea}}r¯r¯\bar rb¯b¯\bar …