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