Global Variables in Colored Petri Nets. ELEKTRON ELEKTROTECH 2006, 69 (5), 45-48.