Iterative Configuration of T-Timed Colored Petri Nets by a MILP Model for Rail Freight Volume and Rolling Stock Planning
Sign Up to like & getrecommendations! Published in 2025 at "IEEE Access"
DOI: 10.1109/access.2025.3581175
Abstract: This study presents a hybrid simulation-optimization framework for the strategic long-term planning of railway operations. The proposed model aims to optimize railway transport planning by ensuring efficient asset allocation, maximizing financial returns, and minimizing asset… read more here.
Keywords: iterative configuration; colored petri; model; timed colored ... See more keywords
A Verification Framework for Time-Triggered Networks Based on Timed Colored Petri Net
Sign Up to like & getrecommendations! Published in 2024 at "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"
DOI: 10.1109/tcad.2024.3355708
Abstract: Time-triggered (TT) network provides a low-cost service to meet the strong demand of modern industry networks for real-time communication. Both simulation and reachability analysis provide effective research methods for TT networks. This article presents a… read more here.
Keywords: time; verification framework; colored petri; time triggered ... See more keywords