Переход сети Петри

Каждому условию в сети Петри соответствует определенная позиция. Совершению события соответствует срабатывание (возбуждение или запуск) перехода, при котором маркеры из входных позиций этого перехода перемещаются в выходные позиции. Последовательность событий образует моделируемый процесс. [c.198]

Среди других разновидностей сетей Петри следует упомянуть ингибиторные сети, характеризующиеся тем, что в них возможны запрещающие (ингибиторные) дуги. Наличие маркера во входной позиции, связанной с переходом ингибиторной дугой, означает запрещение срабатывания перехода. [c.199]

Вершины графа на рис. 2.12, б соответствуют маркировкам (состояниям сети Петри), представленным в виде последовательности цифр, цифры означают количества меток в позициях, перечисляемых в порядке Pj, р , р , Ру Дуги помечены обозначениями срабатывающих переходов. Живость сети очевидна, так как срабатывают все переходы, тупики отсутствуют, сеть не является АГ-ограниченной. [c.202]

Сеть Петри - математическая модель динамической дискретной системы, в которой статические ресурсы выражаются четверкой <Р,Т,1,0>, где Р и Т -конечные множества позиций и переходов, I и О - множества входных и выходных функций переходов, а динамические ресурсы представлены метками, перемещающимися по сети позиций и переходов СИМ - сетевая имитационная модель [c.314]

Можно вводить ряд дополнительных правил и условий в алгоритмы моделирования, получая ту или иную разновидность сетей Петри. Так, прежде всего полезно ввести модельное время, чтобы моделировать не только последовательность событий, но и их привязку ко времени. Это осуществляется приданием переходам веса — продолжительности (задержки) срабатывания, которую можно определять, используя задаваемый при этом алгоритм. Полученную модель называют временной сетью Петри. [c.141]

С помощью сетей Петри моделируются процессы, представляемые в виде последовательности событий. Принято считать, что события происходят мгновенно и разновременно. Каждому из возможных событий соответствует определенный переход. Событие происходит, если выполнены некоторые условия. Каждому из условий в сети Петри соответствует определенная позиция. Выполнение условий отображается с помощью маркеров, помещаемых в виде точек внутри соответствующих позиций. Число состояний сети Петри определяется числом возможных маркировок. Маркировкой называется распределение маркеров по позициям. Если упорядочить позиции Pi (см. рис. 4.2) по возрастанию индекса I, то маркировку можно представить вектором (О, О, 1,0), -й элемент которого равен числу маркеров в позиции р,-. [c.84]

Моделирование процессов с помощью сетей Петри выражается в перемещении маркеров между позициями. Получающаяся последовательность событий — это последовательность срабатывания (возбуждения или запуска) переходов. Событие t происходит (переход t срабатывает), если имеются маркеры во всех входных по- [c.84]

Пример 4,2. Сеть Петри рис. 4.2 моделирует простую вычислительную систему. Переход t 2 соответствует появлению задачи на входе ВС, /ю—началу решения задачи, и — окончанию решения, fiз — выходу решенной задачи из ВС. [c.85]

Рис. 4.3. Фрагмент сети Петри до срабатывания перехода (а) и после срабатывания (б)

В общем случае в позиции может быть более одного маркера. Пусть переход связан с входной позицией п дугами, а с выходной — т дугами. Тогда его запуск возможен только при числе маркеров во входной позиции, не меньшем п, и выражается в удалении п маркеров из входной позиции и в добавлении т маркеров в выходную позицию. На рис. 4.3, а представлен фрагмент сети Петри с маркировкой (3, 3, 1). Срабатывание перехода приводит к маркировке (1,2,5) (рис. 4.3, б). [c.85]

Временная сеть Петри характеризуется тем, что вводятся задержки при перемещениях маркеров. Задержки можно относить к переходам или позициям, они могут быть детерминированными или случайными величинами. [c.86]

Стохастическая сеть Петри характеризуется случайными задержками. В стохастических сетях возможно введение вероятностей срабатывания возбужденных переходов. На рис. 4.4, а [c.86]

Пример 4.3. Стохастическая сеть Петри для моделирования процессов отказов и устранения неисправностей в технической системе показана на рис. 4.5. Исходная маркировка (3, О, 1, 0) соответствует наличию в системе трех рабочих блоков и одного запасного. Переходам соответствуют случайные временные задержки 1 — интервал времени между отказами, t2—время замены, з — время восстановления отказавшего блока. [c.86]

Функциональная сеть Петри характеризуется тем, что отражает не только последовательность событий (поток управления), но и процессы обработки некоторого потока данных. Для этого в описание каждого перехода добавляется алгоритм обработки данных. С помощью функциональных сетей Петри можно моделировать разнообразные элементы ВС, производить статистическую обработку результатов моделирования, отображать различные алгоритмы функционирования. [c.86]

Приоритетная сеть Петри характеризуется вводом приоритетов для ветвей. Благодаря этому разрешаются конфликты, подобные конфликту рис. 4.4, а,— срабатывает переход, в который от р1 ведет ветвь с более высоким приоритетом. Популярны -сети, в которых предусмотрены задержки срабатываний, разрешение конфликтов, наличие параметров у объектов сети. [c.87]

Автоматная сеть Петри— это сеть, в которой каждый переход имеет только один вход и один выход. В автоматной сети число маркеров постоянно, эти сети по своим возможностям моделирования эквивалентны конечным автоматам. [c.87]

Достижимость — свойство сети Петри, заключающееся в возможности достижения заданных маркировок. Анализ достижимости позволяет определить множество маркировок, в которые возможны переходы в процессе функционирования сети. [c.87]

Для поиска адекватных правил применена стратегия генерирования ориентированного графа в виде правильной сети Петри, отражающей такие важные явления, как параллелизм и иерархичность [81]. В целях увеличения быстродействия в сеть Петри введены дополнительные связи в виде безусловных переходов, которые возбуждаются при невыполнении условий применимости. [c.134]

В главе 20 рассматриваются два популярных метода оценки деятельности предприятия, помогающей осуществить переход от модели как есть к модели как должно быть динамическое моделирование на базе сетей Петри и функционально-стоимостное моделирование AB . [c.231]

Сеть Петри представляет собой ориентированный граф с вершинами двух типов (позициями и переходами), в котором дугами могут соединяться только вершины различных типов. В позиции сети помещаются специальные маркеры ( фишки ), перемещение которых и отображает динамику моделируемой системы. Изменение маркировки (движение маркеров) происходит в результате выполнения (срабатывания) перехода на основе соответствующего внешнего события. Точнее, переход срабатывает, если во всех его входных позициях имеются маркеры и происходит соответствующее переходу событие. При этом из каждой входной позиции [c.262]

На рис.20.1 приведен пример сети Петри с позициями Р1-Р6 и переходами 11-18. Единственный маркер находится в позиции Р1, все остальные позиции пусты. При срабатывании перехода 11 маркер переносится из позиции Р1 в позицию Р2, при срабатывании перехода 12 маркер переносится из позиции Р2 в позиции РЗ и Р4 и Т.Д. [c.263]

Сети Петри - это аппарат для моделирования динамических дискретных систем (преимущественно асинхронных параллельных процессов). Сеть Петри определяется как четверка <Р, Т, I, 0>, где Р и Т - конечные множества позиций и переходов, I и О -множества входных и выходных функций. Другими словами, сеть Петри представляет собой двудольный ориентированный граф, в котором позициям соответствуют верппшы, изображаемые кружками, а переходам - вершины, изображаемые утолщенными черточками функциям I соответствуют дуги, направленные от позиций к переходам, а функциям О - дуги, направленные от переходов к позициям. [c.198]

Если задержки являются случайными величинами, то сеть называют стохастической. В стохастических сетях возможно введение вероятностей срабатывания возбужденных переходов. Так, на рис. 2.9 представлен фрагмент сети Петри, иллюстрирующий конфликтную ситуацию - маркер в позициир может запустить либо переход либо переход В стохастической сети предусматривается вероятностный выбор срабатывающего перехода в таких ситуациях. [c.199]

Живость сети Петри определяется возможностью срабатывания любого перехода при функционировании моделируемого объекта. Отсутствие живости либо означает избыточность аппаратуры в проектируемой системе, либо свидетельствует о возможности возникновения зацикливаний, тупиков, блокировок. [c.202]

Имитационные модели процессов в случае фиксированного распределения ресурсов по операциям сравнительно просты. В качестве таких моделей часто используют цветные сети Петри, при этом функции исходных ЮЕРО-моделей преобразуются в переходы, работы - в маркеры, очереди - в позиции. На рынке программных продуктов имеются средства для преобразований ШЕРО-мо-делей в имитационные, например, известная программа PN/Design предназначена для представления ШЕРО-моделей в виде цветных сетей Петри. [c.206]

Сеть Петри гфедставлена на рис. 3.23. Здесь переходы связаны со следующими событиями — поступление запроса на использование WS, 2 занятие станции, ос- 2 t 4 вобождение станции, — выход обе- п. [c.142]

Определение сети Петри. Сети Петри являются средством математического описания процессов функционирования дискретных систем с параллельно и асинхронно действующими элементами. Сеть Петри определяется следующим образом 8= <Р, Т,/, 0>, где Р и Т — конечные множества позиций и переходов, / и О — входная и выходная функции. Сеть Петри можно представить в виде двудольного ориентированг ного мультиграфа, в котором позициям соответствуют вершины, изображаемые кружками, переходам — вершины, изображаемые утолщенными линиями, функция / изображается дугами, направленными от позиций р, к переходам t , а функция О — дугами, направленными от 6 к р-. Пример сети Петри, представляющей модель вычислительной системы, дан на рис. 4.2. [c.84]

Соответствующая условиям задачи модель в виде сети Петри представлена на рис. 4.6. Позиции р1, рг и переходы 1, <2 отображают источник входных заявок, имитирующий поступление запросов на использование РМ. Позиции Рз, Р4 и переходы и, /4 соответствуют работе пользова- [c.96]

На рис. 4.8 представлена модель ЛВС с методом МДКН/ОК в виде сети Петри. Источник (р1, Рг, 1, (г) имитирует поток заявок на передачу информации от всех абонентов. Если КС свободен и конфликта нет, заявка проходит через /з, 6, 7, 10, tl и выходит из системы обслуженной, причем в происходит задержка на время е, а в t o — на время (Т—е), где Т — время передачи пакета (кадра) информации. Если КС занят (заявка задержана в ю), то попытка другого абонента начать передачу приводит к прохождению его заявки по маршруту /з, /б, и далее в один из переходов ti2. ... .. tn. Срабатывание перехода а не происходит потому, что через 7 и еще не вышедшая из <ю, самым переход /7 оказался запре- [c.98]

Фактически сеть Петри декомпозирует систему на активные (переходы) и пассивные (позиции - хранилища маркеров) элементы. Следует отметить, что рассмотренные ранее диаграммы переходов состояний являются вырожденными сетями Петри, а именно, сетями с одним типом вершин (переходами). [c.263]

Энциклопедия по машиностроению XXL

Оборудование, материаловедение, механика и ...