Bartkevičius, S., Mačerauskas, V., & Šarkauskas, K. (2003). Using Colored Petri Nets for Simulation of Control Systems. Elektronika Ir Elektrotechnika, 46(4). https://doi.org/10.5755/j02.eie.11243