Timed Automata

Timed Automata

Example: A real-time coffee machine

i

A

x<=10

B

x<=15

C

x<=10

D

x<=15

A : coffee ordered, B : tea ordered,

C : coffee prepared, D : tea prepared

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica