Modeling and Analysis of Hybrid Supervisory Systems - A Petri Net Approach 2007 · ENGLISH · PDF View details →