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