Reactive scheduling for large-scale manufacturing systems based on hybrid Petri net modeling | IEEE Conference Publication | IEEE Xplore