Download Modeling And Analysis Of Hybrid Supervisory Systems A Petri Net Approach

http://katjavogel.net/files/gimgs/1_manetz01.png