Timed AutomataFinite Automata

n

m

a

Locations

Actions (atomic)

Transition:

n

m

a

Previous slide

Next slide

Back to first slide

View graphic version