International Journal of Applied Science and Technology

ISSN 2221-0997 (Print), 2221-1004 (Online) 10.30845/ijast

P-invariant Analysis of Timed Coloured Petri Net Models of Two Isolated Multi-Phase Traffic Light Controlled Intersections
Ganiyu R. A., Olabiyisi S. O., Omidiora E. O., Okediran O. O., Alo O. O.


In this paper, we analyze Timed Coloured Petri Net (TCPN) models of two isolated multi-phase traffic light controlled Cross-type and T-type intersections with associated fixed signal timing plans using place invariant analysis method. One of the strengths of Timed Coloured Petri Nets is the availability of the aforementioned method for analyzing a developed TCPN model in a bid to know the model’s ability in allowing or disallowing occurrences of conflicting movements simultaneously. From the execution of the developed TCPN models of the Cross-type and T-type intersections, thirty and twenty-one place invariants were obtained respectively. Each of the place invariants proves that there is no possibility for any conflicting movements to have right-of-way simultaneously. Thus, the developed Timed Coloured Petri Net models of the two isolated multi-phase traffic light controlled intersections under consideration enforce the traffic operation safety rules.


Full Text: PDF