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