Return to Article Details Об’єктно-орієнтовані мережі Петрі та можливості їх аналізу формальними методами Download Download PDF