Embedding time Petri nets

Comlan, Maurice; Delfieu, David; Sogbohossou, Médésu; Vianou, Antoine

doi:10.1109/codit.2017.8102625

Cited by 2 publications

(1 citation statement)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…When analyzing the intersection management problem, a TPN is an ideal tool to model traffic signals due to: i) it can synchronize and coordinate distributed timed discrete processes; ii) its fast response, easy implementation and graphic representation; iii) the many tools to simulate the models and guarantee the absence of deadlocks; iv) it can be coded in low level languages like C/C++ [39] and deployed in a micro-controller. This increases reliability since those devices cannot be reconfigured by an outsider attacker; and v) it is able to ensure a safe and proper operation of the intersection by not allowing conflicting movements to have green light simultaneously [30], hence ensuring that external manipulations cannot generate an unsafe state.…”

Section: ) Traffic Signal Control Module (Tscm)mentioning

confidence: 99%

A Cyber-Physical Systems Approach to Collaborative Intersection Management and Control

Guzmán

Nüñez

2021

IEEE Access

View full text Add to dashboard Cite

As urban population increases steadily, current mobility and transportation services become inefficient, needing an urgent improvement since they represent a major source of discomfort and economic losses. In this context, the concept of intelligent transportation systems takes relevance as a way of optimizing those services with the use of technology. This work proposes a cyberphysical systems approach to collaborative urban traffic control. Specifically, a three-layer architecture is proposed to address the intersection management problem, making use of modular cyber-physical object abstractions and timed Petri nets. Preliminary implementations in a pseudo-real environment show that the proposed system is capable of handling the communication and processing loads, while improving traffic performance with respect to classical solutions for traffic signals, outperforming timed, Webster and coordinated control methods in pilot-scale tests.

show abstract

Section: ) Traffic Signal Control Module (Tscm)mentioning

confidence: 99%