Transition systems

• States, events and arcs

• Multiple arcs can be labeled with the same event

• Basic axioms:

  no self-loops
  
  no multiple arcs between two states
  every event labels some arc
  every state is reachable from the initial state

Previous slide

Next slide

Back to first slide

View graphic version