Об’єктно-орієнтовані мережі Петрі та можливості їх аналізу формальними методами. MCIT. 2025;(8):123-124. doi:10.31713/MCIT.2025.035