Graph transformation as a modelling framework for supervisory control.