“Global Variables in Colored Petri Nets” (2006) Elektronika ir Elektrotechnika, 69(5), pp. 45–48. Available at: https://eejournal.ktu.lt/index.php/elt/article/view/10676 (Accessed: 5 December 2025).