A Control Approach Based on Colored Hybrid Petri Nets and (Max, +) Algebra: Application to Multimodal Transportation Systems | IEEE Journals & Magazine | IEEE Xplore