Весельський, О. Об’єктно-орієнтовані мережі Петрі та можливості їх аналізу формальними методами. MCIT 2025, 123-124.