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.