This paper focuses on the use of Petri nets (PN) to model the control of signalized intersections. The application of PN to an eight-phase traffic signal controller is illustrated. Structural analysis of the control PN model is performed to demonstrate how the model enforces the traffic operation safety rules. This is followed by a discussion of why this modeling tool has future value as the use of more advanced control strategies continue to expand.
No takes yet. Share an insight, caveat, or question.
List et al. (2004) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: