Тема - круговая диспетчеризация
составить текстовое описание ; построить модель в "сетях Петри" , с помощью программ "pipe2" ;
построить таблицы инцидентности, дерево достижимости; описать свойства построенной сети Петри;(живая, ограниченная,....)
выполнить пошаговый просмотр работы модели; Сдается описание на естественном языке. Работающая модель. Построить граф достижимости, таблицы инцидентности, Предоставить работающую модель.