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