Naiqi Wu Liping Bai Chengbin Chu Modeling and Conflict Detection of Crude Oil Operations for Refinery Process Based on Controlled Colored Timed Petri Net. 461-472 2007 37 IEEE Transactions on Systems, Man, and Cybernetics, Part C 4 http://doi.ieeecomputersociety.org/10.1109/TSMCC.2007.897339 db/journals/tsmc/tsmcc37.html#WuBC07