Modeling and Conflict Detection of Crude Oil Operations for Refinery Process Based on Controlled Colored Timed Petri Net | IEEE Journals & Magazine | IEEE Xplore