Bartkevičius S, Mačerauskas V, Šarkauskas K. Using Colored Petri Nets for Simulation of Control Systems. ELEKTRON ELEKTROTECH. 2003;46(4). doi:10.5755/j02.eie.11243