Bartkevičius S, Kragnys R, Šarkauskas K. Global Variables in Colored Petri Nets. ELEKTRON ELEKTROTECH. 2006;69(5):45-48. Accessed February 12, 2026. https://eejournal.ktu.lt/index.php/elt/article/view/10676