Анализ свойств с помощью дерева достижимости
Безопасность
СП безопасна, если число фишек в любой позиции не может быть больше 1. По дереву достижимости это свойство легко проверяется как для всей сети, так и для отдельных позиций.
СП безопасна, если все маркировки в дереве достижимости состоят из нулей и единиц.
Позиция безопасна, если наибольшее значение компоненты маркировки, соответствующей этой позиции не превышает 1.
Ограниченность
Ограниченность проверяется по дереву достижимости для сети или отдельных позиций.
СП ограничена, если символ отсутствует в дереве достижимости. В противном случае она неограничена.
СП является k ограниченной, если k - наибольшее число,встречающееся в маркировках дерева.
Для проверки ограниченности позиции достаточно выяснить отсутствие символа в соответствующей компоненте всех маркировок.
Сохраняемость
Свойство сохраняемости (консервативности) эффективно проверяется с помощью дерева достижтмости.
Для всех маркировок вычисляют взвешенную сумму. Если суммы одинаковы, то сеть - сохраняющая по отношению к данному весовому вектору. Если суммы отличаются, то сеть несохраняющая.
Если сеть имеет символ в маркировке позиции , то для того, чтобы сеть была сохраняющей, вес этой позиции должен быть равным 0. Если вес положителен, то сумма будет разной для двух маркировок, различающихся в своей - компоненте. Следовательно, если маркировка с ненулевым весом равна , то сеть - несохраняющая.
Покрываемость
В задаче покрываемости нобходимо определить для данной маркировки М , достижима ли маркировка M' не меньшая M. Эта задача решается проверкой дерева достижимости, построенного для начальной маркировки М. В дереве ищется вершина М' не меньшая M. Если вершина найдена, то М' дает достижимую маркировку, покрывающую М.
Достижимость
Дерево достижимости позволяет решить задачу достижимости маркировки в частных случаях. Если искомая маркировка встречается в дереве достижимости, то она достижима. Однако решение этой задачи ограничено символом . Символ означает потерю информации. Конкретные значения числа фишек не учитываются. Задача достижимости в общем случае не решается.
Активность
Дерево достижимости нельзя использовать в общем случае для определения активности. Однако в ряде случаев можно определить активность сети по дереву достижимости.Если дерево достижимости содержит терминальную вершину, то СП не активна.
Моделирование
Моделирование позволяет осуществлять процесс функционирования сети. Для управления процессом функционирования предназначен пункт меню "Модель". Пункт меню Модель включает в себя следующие подпункты:
· Запустить;
· Состояние;
· Статистика;
· Режим.
Данный пункт позволяет пользователю управлять моделированием, следить за функционированием сети и определять тот набор информации, который будет выдаваться на экран в процессе функционирования. Информация о функционировании сети может выдаваться в окно редактирования, в окно моделирования и в окно статистики.
Окно редактирования
Окно редактирования сети всегда находится на экране, занимая большую его часть. В окне редактирования отображается в графическом виде вводимая пользователем сеть Петри. Также в окне редактирования отображаются фрагменты сетей при их размещении на экране после считывания из файла или с Clipboard. В окне может помещаться только некоторая часть сети. Для просмотра всей сети (при ее значительном объеме) окно снабжено вертикальной и горизонтальной полосами прокрутки.
В окне редактирования отображаются переходы и позиции сети:
В правом нижнем углу у каждого элемента (позиции или перехода) сети показывается его номер. Позиции и переходы выделяются цветом в соответствии с их типом, кроме того тип перехода пишется в правом верхнем углу возле перехода. Дуги (соединения) позиций и переходов отображаются линиями. Причем входные дуги (идущие из позиции в переход) показываются темным цветом, выходные (из перехода в позицию) - синим. Нагрузка дуг отображается числом стоящим возле дуги, помеченной небольшим кружочком.
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.