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