Bartkevičius, S., R. Kragnys, and K. Šarkauskas. “Global Variables in Colored Petri Nets”. Elektronika Ir Elektrotechnika, vol. 69, no. 5, May 2006, pp. 45-48, https://eejournal.ktu.lt/index.php/elt/article/view/10676.