A unified frame work for oil producing stations using Petri nets | IET Conference Publication | IEEE Xplore