V. Baranauskas, K. Šarkauskas, and S. Bartkevičius, “Coloured Petri Nets – Tool for Control Systems Learning”, ELEKTRON ELEKTROTECH, vol. 68, no. 4, pp. 41–46, Apr. 2006, doi: 10.5755/j02.eie.10647.