Petri-net Controller for Pipe-line Transportation System