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, doi: 10.5755/j02.eie.10676.