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://doi.org/10.5755/j02.eie.11243.