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