High Level Petri Net Model for Control Problem of Autonomous Navigation in Container Terminal | IEEE Conference Publication | IEEE Xplore