Naiqi Wu Feng Chu Chengbin Chu MengChu Zhou Schedulability analysis of short-term schedule for crude oil operations using Petri nets. 3481-3486 2007 SMC http://dx.doi.org/10.1109/ICSMC.2007.4413692 conf/smc/2007 db/conf/smc/smc2007.html#WuCCZ07