Методические указания по выполнению лабораторной работы

Перед выполнением лабораторной работы необходимо ознакомиться с её содержанием, подробно изучить справочную систему по работе с сетями Петри. При этом особое внимание следует обратить на:

- технологию построения и редактирования диаграмм описывающих структуру сетей Петри(создание, дублирование, перемещение, удаление позиций, переходов, дуг),

- технологию детализации (декомпозиции) сетей Петри,

- рекомендации по технологии построения моделей;

- технологию анализа диаграмм сетей Петри.

- В процессе лабораторной работы каждый обучаемый, получив от преподавателя типовую диаграмму сети Петри, должен, используя соответствующие инструментальные средства, построить сеть Петри, провести ее анализ на основе исследования дерева достижимости. При этом в ходе лабораторной работы обучаемыми приобретаются навыки создания, дублирования, перемещения, удаления позиций, переходов, дуг.

Результаты построения типовых диаграмм выдаются на печать. Отчётный материал предоставляется преподавателю, и результаты выполненной работы защищаются.