Real-Time Traffic Camera-Light Control Systems for Intersections Subject to Accidents: A Petri Net Approach | IEEE Conference Publication | IEEE Xplore