Начальная маркировка

Cтраница 3

Параллелизм ( или одновременность) может быть введен несколькими способами. Рассмотрим случай двух параллельных процессов, каждый из которых может быть представлен сетью Петри. Таким образом, составная сеть Петри, являющаяся просто объединением сетей Петри для каждого из двух процессов, может представлять одновременное выполнение двух процессов. Начальная маркировка составной сети Петри имеет две фишки, по одной в каждой сети, представляя первоначальный счетчик команд процесса. Это вводит параллелизм, который, однако, не является еще полезным. [31]

Безопасные позиции интерпретируются как простые условия: при наличии в них фишки соответствующие условия выполняются, при отсутствии - не выполняются. Если позиция моделирует подобное простое условие, то ее можно сделать безопасной, модифицировав соответствующим образом Г - сеть. Цель введения новых позиций - представить условие позиция х пуста. Если начальная маркировка такова, что точно одна фишка - в х или в у, то эти позиции будут дополнительными: в х будет фишка только при условии, что ее нет в у, и наоборот. [32]

Например, сеть Петри может моделировать запросы, распределения и освобождения устройств ввода / вывода в вычислительной системе. В этих системах некоторые фишки могут представлять ресурсы. Группа из трех построчно печатающих устройств представляется позицией, имеющей в начальной маркировке три фишки. Запрос построчно-печатающего устройства - это переход, для которого данная позиция является входной; затем устройство освобождается переходом, для которого позиция построчно печатающих устройств является выходной. [33]

Сводимость задачи достижимости среди классов сетей Петри с различными типами ограничений. [34]

Другой задачей, получившей много внимания в публикациях по сетям Петри, является активность. Как отмечено в разд. Мы коснемся здесь двух задач, связанных с активностью сети Петри С ( Я, Т, I, О) с начальной маркировкой [ г. Сеть Петри активна, если активен всякий ее переход. Переход t j пассивен в маркировке i, если не существует достижимой маркировки, в которой бы он мог быть запущен. [35]

Поскольку варианты задачи достижимости эквивалентны, мы рассмотрим задачу достижимости нуля в одной позиции. Если перед нами стоят какие-либо другие задачи достижимости, их можно свести, как показано в разд. Теперь, если мы хотим определить, может ли быть позиция Pi нулевой в какой-либо достижимой маркировке для сети Петри Ci ( Рь Гь / ь Oi) с начальной маркировкой ib то построим сеть Петри С2 ( Я2, 2 2 02) с начальной маркировкой 42, которая будет активна тогда и только тогда, когда нулевая маркировка не будет достижима из [ А. [36]

Страницы: 1 2 3