"Object-oriented Petri net simulation for traffic signal control"