Весельський, О. (2025) «Об’єктно-орієнтовані мережі Петрі та можливості їх аналізу формальними методами», Моделювання, керування та інформаційні технології, (8), с. 123–124. doi: 10.31713/MCIT.2025.035.