Bartkevičius, S., V. Mačerauskas, and K. Šarkauskas. 2003. “Using Colored Petri Nets for Simulation of Control Systems”. Elektronika Ir Elektrotechnika 46 (4). https://eejournal.ktu.lt/index.php/elt/article/view/11243.