Multi-scale integration of Petri Net modeling and Software-in-the-loop simulation for novel approach to assessment of operational capabilities in the advanced transportation controllers

In order to extract additional benefits from a signal control system, traffic operation engineers need enhanced understanding, analytical representation, and verification of traffic signal controller capabilities. This paper proposes methodology for providing in-depth information based on integration of Petri Net modeling and Software-in-the-loop simulation (SILS). These two techniques are recognized as capable to coordinately model and assess control capabilities. The proposed methodology is tested on the market 2070 Advanced Transportation Controller firmware preemption features. Combined analysis from Petri Net discrete simulation and network topology along with testing and verification conducted using SILS is presented. Conclusive findings and possibilities for further research should introduce these techniques as tools for enhanced graphical logic representation, comprehension, and guided testing in the process of assessing unknown traffic signal controller capabilities.