Меню CPN

Данное меню появляется только при выборе эмуляции CPN-моделей. то есть моделей на основе сетей Петри. Для вызова меню необходимо в меню Edit в пункте Set Options… в списке Methodology разрешить эмуляцию CPN-моделей. В данном меню сведены все функции связанные с динамическим моделированием.

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

Place Name - надписывание позиции динамической модели.

Color - задание цвета для дуги.

Init Marking - задание первоначальной маркировки.

Transition Name - надписывание перехода (функционального блока).

Guard - задание защиты (защита запрещает переход в соответствии с условиями на переменные, записанные в смежных выражениях стрелок).

Code - определение сегмента в коде Standart ML, который выполняется в эмуляторе Design/CPN всякий раз, когда будет происходить переход.

Time Region - определение временной задержки.

Arc Expression - задание выражения для дуги.

Следующая группа связана с определениями и слияниями в сети Петри:

Global Definition -

Local Definition -

Fusion -

Последняя группа процедур отвечает за визуализацию и проверку динамической модели:

Check CPN Syntax - проверка синтаксиса динамической модели.

Output CPN Model - вывод динамической модели в файл.

Hide CPN Detail - скрытие элементов динамической модели.

Show CPN Detail - вывод элементов динамической модели.

Discard CPN Places - удаление позиций сети Петри.