Design Petri Net Model
Assumption
- Assume there are two streets
(NS/EW), and the lights are set to the same for the opposite
directions (N with S, and E with W);
- Average stop time (Yellow light
duration) is set to be constant;
- Considering the very possibility
of drivers’ driving through Red lights, set some constant elapsing
time (VR) between the NS’s change to Green and EW’s change to Red, and
vs.