S. Bartkevičius, R. Kragnys, and K. Šarkauskas, “Global Variables in Colored Petri Nets”, ELEKTRON ELEKTROTECH, vol. 69, no. 5, pp. 45-48, May 2006.