Моделирование: изучение сети Петри 4p 2t