A Generalized Stochastic Petri Net Approach for Modeling Activities of Human Operators in Intermodal Container Terminals | IEEE Journals & Magazine | IEEE Xplore