<![CDATA[Petri nets can be used to model the behavior of traffic light signals. The Petri net model also makes it possible to provide synchronization of several traffic light phases. The Petri net model can represent the modified Norwegian system signal, which lights up in the sequence green, yellow, red, yellow, and then goes back to green again. The yellow signal flashes twice in each traffic light cycle modified Norwegian system. This study aims to examine the Petri net model of traffic lights with three phases using the modified Norwegian system. Methods for validating and verifying the correctness of the Petri net model used several Place-Invariants, boundedness properties on the Petri net, conservation, coverability trees for various signal conditions, and simulation. Based on the study results, the Place-Invariant and the Petri net properties can represent that the model is correct and feasible. The simulation also presents the correct sequence of modified Norwegian system signals.]]>
Copyrights © 2024
