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