Теоретическая информатика. Теория сетей Петри и моделирование систем