Petri-net Controller for Pipe-line Transportation System | IEEE Conference Publication | IEEE Xplore