Interactive
SETS

  • Add to currently selected set:
PREDICATES

RULES

Interactive
INITIAL STATE

TRANSITIONS




Enter the number of automated transitions.
Filter
STATES
FILTERED STATE