Полезное:
Как сделать разговор полезным и приятным
Как сделать объемную звезду своими руками
Как сделать то, что делать не хочется?
Как сделать погремушку
Как сделать так чтобы женщины сами знакомились с вами
Как сделать идею коммерческой
Как сделать хорошую растяжку ног?
Как сделать наш разум здоровым?
Как сделать, чтобы люди обманывали меньше
Вопрос 4. Как сделать так, чтобы вас уважали и ценили?
Как сделать лучше себе и другим людям
Как сделать свидание интересным?
Категории:
АрхитектураАстрономияБиологияГеографияГеологияИнформатикаИскусствоИсторияКулинарияКультураМаркетингМатематикаМедицинаМенеджментОхрана трудаПравоПроизводствоПсихологияРелигияСоциологияСпортТехникаФизикаФилософияХимияЭкологияЭкономикаЭлектроника
|
Анализ сетей Петри (продолжение)
Безопасность и ограниченность. Сеть Петри ограниченна тогда и только тогда, когда символ отсутствует в ее дереве достижимости. Если сеть Петри ограниченна дерево достижимости будет содержать вершину, соответствующую всякой достижимой маркировке. Это позволяет решить вопросы анализа простым перебором и проверкой конечного множества всех достижимых маркировок. Например, чтобы определить границу для заданной позиции, нужно построить дерево достижимости и найти наибольшее значение компоненты маркировки, соответствующей этой позиции. Найденное значение является границей числа фишек для заданной позиции. Если граница для всех позиций равна 1, сеть безопасна. Сохранение. Если маркировка имеет в качестве маркировки некоторой позиции тогда для того, чтобы сеть была сохраняющей, вес этой позиции должен быть равным 0. Если сеть сохраняющая, существуют взвешенная сумма, обозначим её s, и вектор весов w = (w 1, w 2,.., wn). Для каждой маркировки дерева достижимости имеем
. (5.1)
Если система (5.1) имеет решение, то сеть сохраняющая с весом. Покрываемость. Данная задача решается проверкой дерева достижимости. Строим для начальной маркировки дерево достижимости. Затем ищем любую вершину с m " m '. Если такой вершины не существует, маркировка m ' не покрывается никакой достижимой маркировкой; если она найдена, то это и есть искомая маркировка. Путь от корня к покрывающей маркировке определяет последовательность переходов, которые приводят из начальной маркировки к покрывающей маркировке. Символ вновь должен рассматриваться как обозначение бесконечного множества значений. Если компонента покрывающей маркировки — , то в пути от корня к покрывающей маркировке имеется цикл. Для увеличения соответствующей компоненты с тем, чтобы она была не меньше, чем в данной маркировке, необходимо достаточное число раз повторить этот цикл. Ограниченность дерева достижимости. Дерево достижимости можно использовать для решения задач безопасности, ограниченности, сохранения и покрываемости. К сожалению, в общем случае его нельзя использовать для решения задач достижимости и активности, а также для определения возможной последовательности запусков. Решение этих задач ограничено существованием символа . Символ означает потерю информации; конкретные количества фишек отбрасываются, учитывается только существование их большого числа.
|