Management of Intermodal Freight Terminals by First-Order Hybrid Petri Nets | IEEE Journals & Magazine | IEEE Xplore