BARTKEVIČIUS, S.; MAČERAUSKAS, V.; ŠARKAUSKAS, K. Using Colored Petri Nets for Simulation of Control Systems. Elektronika ir Elektrotechnika, v. 46, n. 4, 19 Apr.2003.