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

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

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

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

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

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

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

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

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

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

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

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

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

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Описание и преобразование управляющих процессов. Сети Петри и их модификация. Доклад-сообщение содержит 12 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций 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

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

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