Системы Дискретные Непрерывные Системы с расп параметрами Уравнения

Системы Дискретные Непрерывные Системы с расп. параметрами Уравнения матфизики Системы с соср. параметрами Обыкнов. АДУ Синхронные системы Конечные автоматы Потоковые, сигнальные, структурные схемы ДСС Асинхронные системы Системы обслуживания Сети Петри, стейтчарты СМО 1

Асинхронные дискретнособытийные процессы: Есть билет Успел Прибыл по расписанию Быть в Москве Я в Москве Нужно! Есть деньги Купил! Покупка Есть в продаже 2

Асинхронные дискретно-событийные процессы: Сети Петри - Однонаправленные связи - Маркеры Основное синтаксическое правило: Активный переход? ? Срабатывание перехода – неделимый акт? ? Время срабатывания – 3

P 2 P 1 Шаг 0. t 1 P 4 P 3 t 2 t 3 P 6 P 5 4

P 2 P 1 Шаг 2. 1. t 1 P 4 P 3 t 2 t 3 P 6 P 5 5

Шаг 2. P 2 P 1 t 1 P 4 P 3 t 2 t 3 P 6 P 5 6

Шаг 3. P 2 P 1 t 1 P 4 P 3 t 2 t 3 P 6 P 5 7

Шаг 4. P 2 P 1 t 1 P 4 P 3 t 2 t 3 P 6 P 5 8

Шаг 5. P 2 P 1 t 1 P 4 P 3 t 2 t 3 P 6 P 5 9

Шаг 6. P 2 P 1 t 1 P 4 P 3 t 2 t 3 P 6 P 5 10

Описание модели: Позиции и переходы: Входные и выходные позиции: I (t 1) ={p 1, p 2}, O(t 1) ={p 3, p 4}, I (t 2 ) ={p 3, p 5}, O(t 2) ={p 5, p 6} Начальная маркировка: 11

Задача 1 12

P 0 P 1 t 2 P 6 P 3 t 4 t 1 P 2 Начало параллельных процессов t 3 P 4 P 5 Окончание параллельных процессов Сеть Петри, моделирующая параллельные процессы 13

P 0 P 1 t 2 P 3 t 4 t 1 P 2 Начало параллельных процессов t 3 P 4 P 5 Окончание параллельных процессов Сеть Петри, моделирующая параллельные процессы 14

P 0 P 1 t 2 P 3 t 4 t 1 P 2 Начало параллельных процессов t 3 P 4 P 5 Окончание параллельных процессов Сеть Петри, моделирующая параллельные процессы 15

P 0 P 1 t 2 P 3 t 4 t 1 P 2 Начало параллельных процессов t 3 P 4 P 5 Окончание параллельных процессов Сеть Петри, моделирующая параллельные процессы 16

P 0 P 1 t 2 P 3 t 4 t 1 P 2 Начало параллельных процессов t 3 P 4 P 5 Окончание параллельных процессов Сеть Петри, моделирующая параллельные процессы 17

P 0 P 1 t 2 P 3 t 4 t 1 P 2 Начало параллельных процессов t 3 P 4 P 5 Окончание параллельных процессов Сеть Петри, моделирующая параллельные процессы 18

а 19

d 1 d 2 ВН СЖ ВП ВВ ОТП ВЛ 20

d 1 d 2 ВН СЖ ВП ВВ ОТП ВЛ 21

d 1 d 2 ВН СЖ ВП ВВ ОТП ВЛ 22

d 1 d 2 ВН СЖ ВП ВВ ОТП ВЛ 23

d 1 d 2 ВН СЖ ВП ВВ ОТП ВЛ 24

d 1 d 2 ВН СЖ ВП ВВ ОТП ВЛ 25

d 1 d 2 ВН СЖ ВП ВВ ОТП ВЛ 26

d 1 d 2 ВН СЖ ВП ВВ ОТП ВЛ 27

d 1 d 2 ВН СЖ ВП ВВ ОТП ВЛ 28

d 1 d 2 ВН СЖ ВП ВВ ОТП ВЛ 29

d 1 d 2 ВН СЖ ВП ВВ ОТП ВЛ 30

d 1 d 2 ВН СЖ ВП ВВ ОТП ВЛ 31

d 1 d 2 ВН СЖ ВП ВВ ОТП ВЛ 32

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

Пример 1 Движение Условие: Действие: 34

Файл Bouncing Ball 35

Got. Pr=true a 1=uniform(2, 10) Пример 2 Form a 1(Got. Pr==true) Got. Pr=false; a 2=uniform(1, 8); a 2 Priem Got. Pr=true 36

Файл Par. Proc. alp 37

Псевдосостояния Иерархическое состояние (гиперсостояние) 38

Псевдосостояния Историческое состояние Условное состояние (ветвление) Финальное состояние D 39

Стейтчарт процесса доступа к среде протокола IEEE 802. 12 40

Алгоритм срабатывания элементов стейтчарта: 1. Если система входит в некоторое иерархическое состояние, то выполняются действия входа, начиная со сложного состояния, которое получает управление, и далее вниз по иерархии, вплоть до простого состояния или псевдосостояния, в которое будет передано управление. 2. Если система выходит из некоторого иерархического состояния, то выполняется действие выхода из текущего состояния вверх по иерархии, заканчивая тем сложным состоянием, на уровень которого передается управление. 3. Выполняется действие перехода. 4. Если управление передается в псевдосостояние, то выполняется код действия псевдосостояния, а затем управление немедленно передается другому состоянию, в соответствии с переходом. - Действия состояний и переходов выполняется за нулевое модельное время. Поэтому они не могут содержать синхронизированных операций, операций задержки и не могут вызывать методы, содержащие такие операции. 41

i 1 t 3 L t 2 B i 2 t 1 M t 4 i 3 N Находимся в начальном состоянии: 1) Д. указателя i 1. 2) Д. входа в L. 3) Д. указателя i 2. 4) Д. входа в M. 5) Д. указателя i 3. 6) Д. входа в N. Находимся в состоянии N, срабатывает переход t 1 1) Д. выхода из N. 2) Д. выхода из М. 3) Д. перехода t 1. 4) Д. состояния ветвления. Выбран переход t 2: 5) Д. перехода t 2. 6) Д. указателя i 2. 7) Д. входа в M. 8) Д. указателя i 3. 9) Д. входа в N. Выбран переход t 3: 10) Д. выхода из L. 11) Д. перехода t 3. Срабатывает переход t 4: 1) Д. перехода t 4. 2) 2) 42

Пример 3 t 0 Зеленый t 1, 25 t 2, 1 A Зеленый - 25 с Миг. зеленый – 7 с Красный – 20 с Красный + желтый – 4 с B Green=true Green=false t 3, 1 t 4, 7 Красный t 6, 4 t 5, 20 Красный + желтый Red=true Red=false Red=true Yellow=true Red=false 43

Файл Primer 3 _светофор. alp Файл пример 4 44

Задание 1. Движение системы начинается из исходного состояния. В зависимости от условий, система переходит через 5 единиц времени после начала цикла в состояние 2 или 3. Условия определяются параметром «а» , который меняется случайным образом в интервале 0 -10 по равномерному закону. Система переходит в состояние 2, если а>5 и в состояние 3 в противном случае. Из состояний 2, 3 система переходит в состояние 4: из 2 – через 5 единиц после входа, из 3 – через 7 единиц. Из состояния 4 возможен, в зависимости от условий, переход в состояния 5 или 6: в состояние 6 если а>5, в 5 в противном случае. Из состояний 5, 6 через 3 единицы система переходит в начальное состояние и цикл повторяется. Постройте модель, имитирующую движение системы и анимацию, иллюстрирующую этот процесс. red=1; red=0; a=uniform(1, 10) t=5; 1 В a>5; !1 red 2=1; red 2=0; 2 t=5; red=1; red 3=1; red=0; red 3=0; 3 4 t=7; В a>5; red 4=1; 6 red 4=0; !1 red 5=1; red 5=0; 5 45

а 46

Пример 4 Жду d 1==1; d 2==1; d 1=1; d 2=1 Lv=1; Sh=1; Sh==1; d 1==1; d 2==1; Lv==1; 3 Ln=1; Sh=0; d 1=0; Ln=0; Ln Pv==1; d 2==1; В Sh==1 Lv==1; Sh==0; Lv Lv=1; Ln=0; Lv=0; !1 Pv Pv=1; Pv=0 Sh==1; Sh==0; Pn Pn=1; Sh=1; d 2=0; Pn=0; 47

Файл Prez 8_1. alp Файл Шипатов. alp 48

Контрольные вопросы по теме СЕТИ ПЕТРИ, СТЕЙТЧАРТЫ. 1. На какую предметную область ориентирован класс моделей Сети Петри (СП)? 2. Перечислите элементы и правила композиции класса СП? 3. Какой переход в СП считается активным, что происходит при срабатывании активного перехода? 4. Как выглядит язык описания для СП? 5. На какую предметную область ориентирован класс моделей Стейтчарты? 6. Перечислите элементы и правила композиции класса Стейтчарты? 7. Когда в классе Стейтчарты возможен переход из одного состояния в другое? 8. С чем возможно связывание действий в классе Стейтчарты? 9. Иерархическое состояние в классе Стейтчарты? 10. Историческое состояние в классе Стейтчарты? 11. Условное состояние (ветвление) в классе Стейтчарты? 12. Финальное состояние в классе Стейтчарты? 13. Порядок срабатывания элементов Стейтчарта при входе в иерархическое состояние? 14. Порядок срабатывания элементов Стейтчарта при выходе из иерархического состояния? 15. Как срабатывают элементы Стейтчарта при входе в состояние ветвления? 49