Using Colored Petri Nets for Simulation of Control Systems. (2003). Elektronika Ir Elektrotechnika, 46(4). https://eejournal.ktu.lt/index.php/elt/article/view/11243