Моделирование работы светофора с помощью сети Петри