Запуск программы и построение графа сети Петри

Нажав и удерживая правую кнопку «мыши», можно получить доступ к контекстному меню, показанному на приведенной ниже диаграмме.

Для создания новой сети следует выбрать пункт. New Net, для открытия существующей сети, выбирают Load Net. При выборе пункта New Net, появляется окно новой сети. По умолчаниюона называется “New Net.cpn”

В появившимся явившемся окне строится граф («скелет») сети, т.е. расставляются позиции, переходы и соединяющие их дуги. С помощью меню Toll box | Create для этого необходимо «перетащить» манипулятором «мышь» данный пункт в рабочую область.

Нанесение позиций, переходов и дуг на граф сети производится «перетаскиванием» соответствующих символов из меню «Create» в рабочую область.

Пример графа сети показан на приведенной ниже диаграмме.