Structural Complexity of Traffic Lights Control Based on Petri Net