Global Variables in Colored Petri Nets. (2006). Elektronika Ir Elektrotechnika, 69(5), 45-48. https://eejournal.ktu.lt/index.php/elt/article/view/10676