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