О. Весельський, “Об’єктно-орієнтовані мережі Петрі та можливості їх аналізу формальними методами”, MCIT, no. 8, pp. 123–124, Nov. 2025.