Об’єктно-орієнтовані мережі Петрі та можливості їх аналізу формальними методами. MCIT [інтернет]. 06, Листопад 2025 [цит. за 02, Квітень 2026];(8):123-4. доступний у: https://www.mcitdoc.org.ua/index.php/ITConf/article/view/609