Весельський О. Об’єктно-орієнтовані мережі Петрі та можливості їх аналізу формальними методами. MCIT [Internet]. 2025 Nov. 6 [cited 2026 Feb. 4];(8):123-4. Available from: https://www.mcitdoc.org.ua/index.php/ITConf/article/view/609