S. Bartkevičius, V. Mačerauskas, and K. Šarkauskas, “Using Colored Petri Nets for Simulation of Control Systems”, ELEKTRON ELEKTROTECH, vol. 46, no. 4, Apr. 2003, doi: 10.5755/j02.eie.11243.