01 — PERSIMPANGAN FISIK
JALUR A
JALUR B
STATE AKTIF (q)
S0
SISA WAKTU
8s
02 — MODEL FORMAL: Q = {S0,S1,S2,S3}, Σ = {t}
A merah
A/B kuning
A hijau
03 — KONTROL SIMULASI
04 — LOG TRANSISI δ(q, t)