Bartkevičius S, Kragnys R, Šarkauskas K. Global Variables in Colored Petri Nets. ELEKTRON ELEKTROTECH [Internet]. 2006May20 [cited 2024Apr.25];69(5):45-8. Available from: https://eejournal.ktu.lt/index.php/elt/article/view/10676