Bartkevičius, S., et al. “Using Colored Petri Nets for Simulation of Control Systems”. Elektronika Ir Elektrotechnika, vol. 46, no. 4, Apr. 2003, https://doi.org/10.5755/j02.eie.11243.