Bartkevičius, S., et al. “Global Variables in Colored Petri Nets”. Elektronika Ir Elektrotechnika, vol. 69, no. 5, May 2006, pp. 45-48, https://doi.org/10.5755/j02.eie.10676.