“Using Colored Petri Nets for Simulation of Control Systems” (2003) Elektronika ir Elektrotechnika, 46(4). Available at: https://eejournal.ktu.lt/index.php/elt/article/view/11243 (Accessed: 5 December 2025).