The Use of Petri Nets to Model Traffic Signals at Intersections