Презентация на тему: Описание и преобразование управляющих процессов

Описание и преобразование управляющих процессов.
Описание и преобразование управляющих процессов
Описание и преобразование управляющих процессов
1/3
Средняя оценка: 4.3/5 (всего оценок: 28)
Код скопирован в буфер обмена
Скачать (45 Кб)
1

Первый слайд презентации: Описание и преобразование управляющих процессов

Сети Петри и их модификация.

Изображение слайда
2

Слайд 2

Основная задача начального этапа проектирования УА – выбор формализованного языка. Основные понятия – базис сетей Петри: событие; условие. Сеть Петри – структура УП ↓ это последовательность процедур Условия → событие Состояние системы – это множество условий Событие → новые условия → → изменение состояния системы События – множество переходов T={t 0, t 1, …, t r } Условия – множество позиций A={a 0, a 1, …, a f } I – входная функция связь T и A O – выходная функция I – отображает t v (v=0 r) в мн-во позиций I(t v ) – входные позиции перехода O – отображает t v в мн-во позиций O(t v ) – выходные позиции перехода a µ - входная позиция t v, если a µ ϵ I(t v ) a µ - выходная позиция t v, если a µ ϵ O(t v ) Сеть Петри – N = (A, T, I, O)

Изображение слайда
3

Последний слайд презентации: Описание и преобразование управляющих процессов

Пример: A = {a 0, a 1, a 2, a 3, a 4 } T = {t 0, t 1, t 2, t 3, t 4 } I(t 0 ) = a 0 I(t 1 ) = a 1 I(t 2 ) = a 2 I(t 3 ) = a 3 I(t 4 ) = a 4 O(t 0 ) = a 1 O(t 1 ) = a 2 O(t 2 ) = a 3 O(t 3 ) = a 4 I – матрица следования O – матрица предшествования Графическое представление сети Петри Типы вершин: позиции – « O » переходы – « | » if (a µ - вход для t v ), then ( дуга a µ → t v ) if (a µ - выход для t v ), then ( дуга t v → a µ ) ↓ G = (V, W) – ориентированный двудольный мультиграф, где V – множество вершин W – множество направленных дуг V = A U T A ∩ T = Ø позиция – условие ↓ Выполнение условия – маркировка позиции (метка – «точка» в позиции) ↓ ʘ ↓ Если несколько точек – то « емкость условия »

Изображение слайда