Abstract
Because of various constraints, the short-term scheduling of crude oil operations in refinery is very complicated. So far, there is no effective technique and tool. To solve this problem, this paper models the system by a hybrid Petri net and a short-term schedule is seen as a series of control commands. With this model, schedulability analysis of systems with a single distiller is conducted and schedulability conditions are presented. These conditions can be used as constraints for finding a realizable and optimal refining schedule. Moreover, based on the approach presented in this paper, a detailed schedule can be easily obtained for a realizable refining schedule.