Автоматизація процесів керування технологічним комплексом збагачення залізних руд з використанням моделей мереж Петрі