Scheduling FMSs based on a hybrid Petri net framework | IEEE Conference Publication | IEEE Xplore