Using Colored Petri Nets for Simulation of Control Systems. ELEKTRON ELEKTROTECH 2003, 46 (4).