2003. Using Colored Petri Nets for Simulation of Control Systems. Elektronika ir Elektrotechnika. 46, 4 (Apr. 2003).