The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
IEEE Transactions on Software Engineering
On Petri nets with deterministic and exponentially distributed firing times
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
Performance Analysis of Traffic Networks Based on Stochastic Timed Petri Net Models
ICECCS '99 Proceedings of the 5th International Conference on Engineering of Complex Computer Systems
Driving into the Future with ITS
IEEE Intelligent Systems
Design of Traffic Light Control Systems Using Statecharts
The Computer Journal
Toward a Revolution in Transportation Operations: AI for Complex Systems
IEEE Intelligent Systems
DynaCAS: Computational Experiments and Decision Support for ITS
IEEE Intelligent Systems
Using stochastic petri nets for level-crossing collision risk assessment
IEEE Transactions on Intelligent Transportation Systems
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Dynamical analysis of freeway traffic
IEEE Transactions on Intelligent Transportation Systems
Dynamic Plan Generation and Real-Time Management Techniques for Traffic Evacuation
IEEE Transactions on Intelligent Transportation Systems
Distributed and cooperative fuzzy controllers for trafficintersections group
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
ROCOM'11/MUSP'11 Proceedings of the 11th WSEAS international conference on robotics, control and manufacturing technology, and 11th WSEAS international conference on Multimedia systems & signal processing
Hi-index | 0.00 |
Deterministic and stochastic Petri nets (DSPNs) are well utilized as a visual and mathematical formalism to model discrete event systems. This paper proposes to use them to model parallel railroad level crossing (LC) control systems. Their applications to both single- and double-track railroad lines are illustrated. The resulting models allow one to identify and thus avoid critical scenarios in such systems by conditions and events of the model that control the phase of traffic light alternations. Their analysis is performed to demonstrate how the models enforce the phase of traffic transitions by a reachability graph method. Their important properties are verified. To our knowledge, this is the first work that employs DSPNs to model a parallel railroad LC system and identify its critical scenarios for the purpose of their complete avoidance. This helps advance the state of the art in traffic safety related to the intersection of railroads and roadways.