лабы / Сети Петри / Документация / Сети Петри_1 / Сети Петри / net_petri

net_petri BODY { BACKGROUND: #ffffff } .equation { MARGIN-TOP: 0.5em; MARGIN-BOTTOM: 1em } .Normal { FONT-SIZE: 14pt; COLOR: #0000ff; FONT-FAMILY: Times New Roman,sans-serif } МОДЕЛИРОВАНИЕ СИСТЕМ НА ОСНОВЕ

СЕТЕЙ ПЕТРИ Кисилев Д.В., ст гр. 96ЭЧ1, Пензенский государственный университет 1. Исходные данные - матрица выходов - матрица входов - вектор начальной маркировки Рис.1. Модель системы в виде

сети Петри 2. Реализация процедуры выполнения

маркированной сети Петри. 2.1. Подпрограмма генерации вектора-строки e( j ), все компоненты которого равны нулю за исключением j - ой компоненты. 2.2. Подпрограмма проверки активности перехода с номером tn при текущей маркировке . Если переход разрешён возвращает 1, если переход запрещён - 0. 2.3. Программа выполнения сети Петри.

Входные данные: b - начальная маркировка сети; T - вектор последовательности переходов (компонентам соответствуют номера переходов по порядку их запуска). Программа возвращает:

- матрицу М, каждая строка которой содержит соответствующую переходу маркировку (первая строка - начальная маркировка).

- вектор С, компоненты которого являются результатами проверки активности перехода.

В случае, когда один из переходов tj запрещён (т.е. = 1), он не запускается, текущая маркировка не меняется, а в j - ую компоненту С заносится ноль. На следующей итерации предпринимается попытка запустить следующий переход. Таким образом, неразрешённые переходы пропускаются. 3. Анализ состояний (изменений маркировки) сети Петри 3.1. Определение изменения состояния сети Петри при последователь- ном запуске переходов t3, t2, t1. - вектор последовательности запусков <- начальная маркировка <- конечная маркировка - все переходы в сети разрешены 3.2. Определение изменения состояния сети Петри при последовательном запуске переходов t3, t2, t1, t2, t1. - вектор последовательности запусков <- начальная маркировка <- конечная маркировка - три первых перехода

разрешены - два последних перехода

запрещены 3.3. Решение задачи достижимости маркировки m = (1 3 0 0 ) из начальной маркировки m0 = (1 0 1 0 ) на основе уравнения. преобразуем уравнение к классическому виду A*x = B Решение избыточной системы линейных уравнений: Маркировка достижима при запуске переходов t3, t2, t3, t2, t3, t2, t3, t2, t1. Последовательность запуска переходов определена экспериментальным путём. 3.4. Проверка решения задачи достижимости маркировки m = (1 3 0 0 ) из начальной маркировки m0 = (1 0 1 0 ). - вектор последовательности запусков <- начальная маркировка <- конечная маркировка Так как вектор не содержит нулей, то все переходы в последователь-

ности T разрешены.