Описание и преобразование управляющих процессов. Сети Петри и их модификация

Нажмите для полного просмотра!

Описание и преобразование управляющих процессов. Сети Петри и их модификация, слайд №2

Описание и преобразование управляющих процессов. Сети Петри и их модификация, слайд №3

Описание и преобразование управляющих процессов. Сети Петри и их модификация, слайд №4

Описание и преобразование управляющих процессов. Сети Петри и их модификация, слайд №5

Описание и преобразование управляющих процессов. Сети Петри и их модификация, слайд №6

Описание и преобразование управляющих процессов. Сети Петри и их модификация, слайд №7

Описание и преобразование управляющих процессов. Сети Петри и их модификация, слайд №8

Описание и преобразование управляющих процессов. Сети Петри и их модификация, слайд №9

Описание и преобразование управляющих процессов. Сети Петри и их модификация, слайд №10

Описание и преобразование управляющих процессов. Сети Петри и их модификация, слайд №11

Описание и преобразование управляющих процессов. Сети Петри и их модификация, слайд №12

Описание и преобразование управляющих процессов. Сети Петри и их модификация, слайд №13

Описание и преобразование управляющих процессов. Сети Петри и их модификация, слайд №14

Описание и преобразование управляющих процессов. Сети Петри и их модификация, слайд №15

Описание и преобразование управляющих процессов. Сети Петри и их модификация, слайд №16

Описание и преобразование управляющих процессов. Сети Петри и их модификация, слайд №17

Описание и преобразование управляющих процессов. Сети Петри и их модификация, слайд №18

Описание и преобразование управляющих процессов. Сети Петри и их модификация, слайд №19

Описание и преобразование управляющих процессов. Сети Петри и их модификация, слайд №20

Описание и преобразование управляющих процессов. Сети Петри и их модификация, слайд №21

Описание и преобразование управляющих процессов. Сети Петри и их модификация, слайд №22

Описание и преобразование управляющих процессов. Сети Петри и их модификация, слайд №23

Описание и преобразование управляющих процессов. Сети Петри и их модификация, слайд №24

Описание и преобразование управляющих процессов. Сети Петри и их модификация, слайд №25

Описание и преобразование управляющих процессов. Сети Петри и их модификация, слайд №26

Описание и преобразование управляющих процессов. Сети Петри и их модификация, слайд №27

Описание и преобразование управляющих процессов. Сети Петри и их модификация, слайд №28

Описание и преобразование управляющих процессов. Сети Петри и их модификация, слайд №29

Описание и преобразование управляющих процессов. Сети Петри и их модификация, слайд №30

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Описание и преобразование управляющих процессов. Сети Петри и их модификация. Доклад-сообщение содержит 30 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

Описание и преобразование управляющих процессов. Сети Петри и их модификация.

Слайд 2

Описание слайда:

Основная задача начального этапа проектирования УА – выбор формализованного языка. Основная задача начального этапа проектирования УА – выбор формализованного языка. Основные понятия – базис сетей Петри: событие; условие. Сеть Петри – структура УП ↓ это последовательность процедур Условия → событие Состояние системы – это множество условий Событие → новые условия → → изменение состояния системы

Слайд 3

Описание слайда:

Пример: Пример: A = {a0, a1, a2, a3, a4} T = {t0, t1, t2, t3, t4} I(t0) = a0 I(t1) = a1 I(t2) = a2 I(t3) = a3 I(t4) = a4 O(t0) = a1 O(t1) = a2 O(t2) = a3 O(t3) = a4 I – матрица следования O – матрица предшествования Графическое представление сети Петри Типы вершин: позиции – «O» переходы – «|»

Слайд 4

Описание слайда:

f-вектор маркировки сети Петри. f-вектор маркировки сети Петри. N = (A, T, I, O, M0), где M0 – вектор начальной маркировки Пример: M0 = (1, 0, 0, 0, 0)

Слайд 5

Описание слайда:

Безопасная сеть Петри. Безопасная сеть Петри. запрещено наличие кратных дуг между позициями и переходами; вектор маркировки может содержать лишь 0 и 1; реализация активного перехода возможна, если ни 1 из его выходных позиций не содержит меток – число меток в любой позиции не больше 1; конечное число состояний – 2f при f позициях. Ограниченная сеть Петри. k → k-безопасная позиция или k-ограниченная k’ >= k – k’-безопасной kmax

Слайд 6

Описание слайда:

Тайм-аутные сети Петри. Тайм-аутные сети Петри. 0

Слайд 7

Описание слайда:

Управляющие процессы и их формализованное описание.

Слайд 8

Описание слайда:

Простейший линейный последовательный процесс – оригинальная сеть Петри. Простейший линейный последовательный процесс – оригинальная сеть Петри. Ai – процедуры (i = 0 – k) операторные функциональные блоки – ОФБ Процедура – переход сети Петри – ti (i = 0 – k) aj (j = 0 – f) – позиции Фазы выполнения процедуры: начало; выполнение; окончание. Подсеть Петри для процедуры Ai.

Слайд 9

Описание слайда:

Если выполнение процедуры – неделимое событие, то: Если выполнение процедуры – неделимое событие, то: фрагмент с tHi, tKi, ∆i и zi, ai,ωi – на tiд

Слайд 10

Описание слайда:

Пример: Пример: Если для Ai – {Cвi}=C1, {Cзi}=C3, C4 и {Cоi}=C1, C4, то Ai({C1}, {C3, C4}, {C1, C4}) {Cзi}∩{Cвi}=Ø Иногда: {Cвi}=Ø и {Cзi}={Cоi} Особенности описания параллельного линейного процесса в сети Петри. длительные переходы – процедуры; tR – переходы распараллеливания; tS – переходы соединения; наличие элементарных подпроцессов; cобственные ФР подпроцесса Пример:

Слайд 11

Описание слайда:

Слайд 12

Описание слайда:

Пример: Особенности описания разветвленного процесса в сети Петри. позиции альтернативного разветвления; позиции альтернативного соединения; набор значений логических условий в конфликтных переходах альтернативного разветвления;

Слайд 13

Описание слайда:

Логические ресурсы системы – ЛР. Логические ресурсы системы – ЛР. Di (i = 1 – m) – ЛР в ЛР Ds проверяется ps – условие Внутренние ЛР Ai ( {P1i}, {P2i} ) Пример: Ai ( {p1, p2}, {p2, p3} ) ps – {P2i} – изменяется Ai → Ds – занято ps – {P1i} – не изменяется Ai → Ds – не занято Описание ЛР в сети Петри. ds – наличие метки – нет монополии Ds ds1 – наличие метки – ps = 1 ds0 – наличие метки – ps = 0 Пример 1: Ai зависит от ЛУ (psϵDs) и изменяет его (ps) Ai ( {ps}, {ps} ) и Aj ( {ps}, {ps} ) входные позиции для tдi (tдj): aµ, ds и ds1 (ds и ds0) выходные позиции для tдi (tдj): aµ+1(aµ+2), ds и ds0 (ds и ds1)

Слайд 14

Описание слайда:

Пример 2: Пример 2: Ai не зависит от ps, но меняет его. входные позиции tдi: aµ, ds Т.к. ps не проверяется в начале, то: удаляется метка из ds0 (или ds1) помещается метка в ds0 (или ds1) если после Ai ps = 0 (или 1)

Слайд 15

Описание слайда:

Введение сдерживающих (тормозящих) дуг. Введение сдерживающих (тормозящих) дуг. Если tv c aµ - тормозящей дугой, то: aµ не должна содержать метки Ds 2-мя позициями: а) ds б) ds – содержит метку, если ps=1 Пример 4: Ai ( {ps}, {-} ) из примера 3.

Слайд 16

Описание слайда:

Пример 5: Пример 5: Разветвленный последовательный процесс: Все Ai используют собственные ФР A1, A3, A4, A5, A6, A7 – зависят от p1 и p2 A1, A3, A7 – меняют pj A1({p1},{p1}); A3({p2},{p2}); A4({p1},{-}); A5({p1},{-}); A6({p1},{-}); A7({p2},{p2})

Слайд 17

Описание слайда:

Обобщенная сеть Петри для описания неавтономного управляющего процесса.

Слайд 18

Описание слайда:

Автономный УП Автономный УП Неавтономный УП Описание неавтономного процесса: внеш. ЛУ (pu) ↔ внеш. позиция hu – метка есть, если pu=1; нет при pu=0 внеш. ЛУ ϵ {P1} есть внутренние и внешние ЛУ если Ai выполняется при pu=1 (0), то hu соединяется с tдi сдерживающей дугой не включается позиция состояния внешнего ЛР развитие процесса – зависит от начальной маркировки внутренних позиций и текущей маркировки внешних входных позиций замена внешних входных позиций на предикаты, зависящие от внешних ЛУ

Слайд 19

Описание слайда:

Пример: ФР – собственные ЛР D1 – внутренний ЛР D2 – изменяется A1 → изменяется p2 Задано: A2({p1},{p1}) A3({p1},{-}) A4({p2},{-}) A5({p2},{-})

Слайд 20

Описание слайда:

Пример: Пример: Одни и те же ресурсы запрашиваются разными параллельными подпроцессами. Для этого: в ds n меток в начальной маркировке – n – максимальное число продпроцессов, немонопольно владеющих Ds. ↓ ds – входная и выходная позиция для n переходов дуга кратности n соединяет переход и позицию ds при монопольном владении Ds __________________________________ П1 и П2 немонопольно владеют D1 при A3 или A4 и А7 A3({p1},{-}) A4({p1},{-}) A7({p1},{-}) A2({-},{p2}) взаимодействие параллельных подпроцессов – 2-е метки в d1 и 2-кратные дуги к t25 ↓ одновременно t25 и t107

Слайд 21

Описание слайда:

Граф обобщенной сети Петри содержит: Граф обобщенной сети Петри содержит: длительные переходы примитивные переходы основные внутренние позиции ресурсные внутренние позиции основные дуги неизменяющие дуги заданной сдерживающие дуги кратности длительный переход – это процедура предикаты у tдi, если Ai зависит от внешних ЛУ примитивные переходы – переходы распараллеливания и соединения – задание структуры процесса маркировка aµ (основные) и cj, ds, ds (внутренние ресурсные) – полное состояние УП дуги – последовательность выполнения процедур и их взаимодействие с ФР и ЛР.

Слайд 22

Описание слайда:

Получение правильного управляющего процесса. Граф достижимых маркировок сети Петри.

Слайд 23

Описание слайда:

Недопустимые – тупиковые состояния. Недопустимые – тупиковые состояния. Причины возникновения тупиковых состояний. Методы анализа сетей Петри. Дерево достижимых состояний сетей Петри. М0 tl М1 ω – бесконечное число меток Неограниченные и ограниченные сети Петри. Описание графа достижимых маркировок: GN Mi aµ Si

Слайд 24

Описание слайда:

Для p=0 в начальной маркировке, т.е. в ds нет метки – вместо t2 будет активизирован t3. Для p=0 в начальной маркировке, т.е. в ds нет метки – вместо t2 будет активизирован t3. левая ветвь – p=1 правая ветвь – p=0 S4 и S7 – тупиковые

Слайд 25

Описание слайда:

Граф, содержащий статические и промежуточные состояния. Это динамический граф. Исходящие дуги – переходы, переходящие в стадию реализации. Входящие дуги – переходы, закончившие реализацию. В скобках – переходы, продолжающие реализацию. ↓ Неустойчивые состояния.

Слайд 26

Описание слайда:

Требования к правильной структуре процесса. Требования к правильной структуре процесса. Другая причина недостижимости конечного состояния – циклы. Пример:

Слайд 27

Описание слайда:

Пример: p2=1 D2 – внешний ЛР

Слайд 28

Описание слайда:

Тупиковые состояния, вызываемые разделением функциональных ресурсов. Пример: П1 и П2 – асинхронные циклические процессы С1 и С2 – разделяемые ФР b1 и b2 – внешние входные позиции

Слайд 29

Описание слайда:

Классификация состояний в графе достижимых маркировок сети Петри. Состояние блокировки – Sб: aµ ti Состояние взаимной блокировки – Sв.б Состояние полной взаимной блокировки – Sп.в.б Тупиковое состояние – Sт – это Sв.б и Sп.в.б Предтупиковое состояние – Sп.т Qз{Sт, Sп.т} – множество запрещенных состояний Опасное состояние - Sоп, если: Sv ребро Su и SvϵQз, а SuϵQз Qоп – множество опасных состояний Безопасное состояние