Baranauskas, V., et al. “Coloured Petri Nets – Tool for Control Systems Learning”. Elektronika Ir Elektrotechnika, vol. 68, no. 4, Apr. 2006, pp. 41-46, https://doi.org/10.5755/j02.eie.10647.