Example

Built the Moore model of the control system

Init0

Com =

on

Atap

in = run

Stoptap

in = stop

Van=open

Posbar=good

Barplein

Van=close

in = run

Nivbar =

full

Posbar=

good

Com = off

in = stop

Init1

van=close

Com =

off

Com =

on

Example : Filling System

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica