Feedback

Modelling and Analysis of Discrete-Event Systems