“Об’єктно-орієнтовані мережі Петрі та можливості їх аналізу формальними методами”. 2025. MCIT: Proceedings of International Scientific and Practical Conference, no. 8 (November): 123-24. https://doi.org/10.31713/MCIT.2025.035.