Short-Term Schedulability Analysis of Crude Oil Operations in Refinery With Oil Residency Time Constraint Using Petri Nets | IEEE Journals & Magazine | IEEE Xplore