Interactions
Transitions
Equations
fx = x' + y + z
fy = x'
fz = 1
BoolNet format:
v1, !v1 | v2 | v3
v2, !v1
v3, 1
Click on a transition to remove it. Click on a source and target state to add a transition.