Весельський, Олексій. “Об’єктно-орієнтовані мережі Петрі та можливості їх аналізу формальними методами”. Modeling, Control and Information Technologies: Proceedings of International Scientific and Practical Conference, no. 8, Nov. 2025, pp. 123-4, doi:10.31713/MCIT.2025.035.