A hierarchy scheduling structure based on mathematical programming and controlled hybrid Petri nets | IEEE Conference Publication | IEEE Xplore