Petri Net model of transhipment activities executed by human operators in a container terminal