Example

tank

Van = {open, close}

Parameters:

V = speed of filling

C = capacity of barrels

two barrels and the length of the filling process of a barell.

There is no sensors in the system

in = {run, stop}