A Petri Net Model for Simulation of Container Terminals Operations