Adding two level supervisory control in the Hybrid Petri Net methodology for Production Systems | IEEE Conference Publication | IEEE Xplore