Permainan Catur

STN (State Transition Network)

Checkmate Hitam
Giliran Putih
Menang
Mulai

Hitam Putih
Seri
Jalan Jalan

Giliran Hitam Putih

Menang
Checkmate

CSP (Communicating Sequence Process)

Turns-Putih = Do-Putih

Do-Putih = Do-checkmate; Do-Stalemate; Pilih-hero; Pilih-lokasi

Do-checkmate = pilih-hero; pilih-lokasi

Do-Stalemate = skip

Pilih-hero = take? -> move-hero -> skip

Pilih-lokasi = take? -> move-hero -> put? -> skip

Do-Hitam = Do-checkmate; Do-Stalemate; Pilih-hero; Pilih-lokasi

Do-checkmate = pilih-hero; pilih-lokasi

Do-Stalemate = skip

Pilih-hero = take? -> move-hero -> skip

Pilih-lokasi = take? -> move-hero -> put? -> skip