Bartkevičius, S., Kragnys, R. and Šarkauskas, K. (2006) “Global Variables in Colored Petri Nets”, Elektronika ir Elektrotechnika, 69(5), pp. 45-48. Available at: https://eejournal.ktu.lt/index.php/elt/article/view/10676 (Accessed: 10April2025).