You are about to access our book library "Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach (Advances in Industrial Control) full version" .