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
Detecting Information Leakage Against Chinese Wall Policy Based on the Unfolding Technique of Colored Petri Nets
Sign Up to like & getrecommendations! Published in 2025 at "IEEE Transactions on Computational Social Systems"
DOI: 10.1109/tcss.2024.3461812
Abstract: Information leakage easily occurs in large-scale information interactions and brings harm to individuals, enterprises, and society. As a well-known security policy, Chinese Wall (CW) provides a security guideline, which combines mandatory and discretionary access control… read more here.
Keywords: information leakage; information; colored petri; chinese wall ... See more keywords
Airport Emergency Rescue Model Establishment and Performance Analysis Using Colored Petri Nets and CPN Tools
Sign Up to like & getrecommendations! Published in 2018 at "International Journal of Aerospace Engineering"
DOI: 10.1155/2018/2858375
Abstract: The airport emergency rescue is a typical discrete event dynamic system. In this paper, we can use colored Petri net discrete event modeling technology to establish the airport emergency rescue (AER) model in the CPN… read more here.
Keywords: time; emergency rescue; rescue; airport emergency ... See more keywords
Formal modeling of a causal consistent distributed system and verification of its history via model checking using colored Petri net
Sign Up to like & getrecommendations! Published in 2025 at "PeerJ Computer Science"
DOI: 10.7717/peerj-cs.2995
Abstract: Various consistency models for replicated distributed systems (DSs) have been developed and are usually implemented in the middleware layer. Causal consistency (CC) is a widely used consistency model appropriate for distributed applications like discussion groups… read more here.
Keywords: model checking; history; petri net; colored petri ... See more keywords