Bartkevičius S, Mačerauskas V, Šarkauskas K. Using Colored Petri Nets for Simulation of Control Systems. ELEKTRON ELEKTROTECH. 2003;46(4). Accessed January 23, 2026. https://eejournal.ktu.lt/index.php/elt/article/view/11243