Pavlov Execution Paths

Click any node or edge to inspect its data. States are color-coded by type.

Root state
Terminal state
Deadlock state