DTMC (Explicit)

CONDUTOR DO FLOW (Explicit)