Весельський, О. (2025) “Об’єктно-орієнтовані мережі Петрі та можливості їх аналізу формальними методами”, Modeling, Control and Information Technologies: Proceedings of International scientific and practical conference, (8), pp. 123–124. doi: 10.31713/MCIT.2025.035.