Example

Example : Filling Station

Output events of the controlled system

Pos. = {good, bad}

Bar = { full, not-full}

Tank

Barrel

conveyor

valve

General input of the

control system

Com = {start, stop}

Input events of the controlled system

Van = {open, shut}

motor = {run, stopped}

external events for

the control model

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica