Поставим в соответствие переходам сети Петри математические функции
Таблица 5.2.
Математические функции | Характеристика функции | Переходы сети Петри |
Y1 | Команда на включение робота Р1 в режиме 1 | t1 |
Y2 | Команда на включение робота Р1 в режиме 2 | t2 |
Y3 | Команда на включение станка С1 | t3 |
Y4 | Команда на включение робота Р1 в режиме 3 | t4 |
Y5 | Команда на включение робота Р1 в режиме 4 | t5 |
Y6 | Команда на включение робота Р1 в режиме 5 | t6 |
Y7 | Команда на включение станка С2 | t7 |
Y8 | Команда на включение робота Р1 в режиме 6 | t8 |
Y9 | Возникновение нештатной ситуации 1 | t9 |
Y9 | Возникновение нештатной ситуации 2 | t10 |
Y9 | Возникновение нештатной ситуации 3 | t11 |
Описание множеств входных и выходных функций
Таблица 5.3.
Множество входных функций I (tn) | Множество выходных функций О (tn) |
I (t1)= {P1; P4; P5; P20} | O (t1) = {P3; P6; P12} |
I (t2) = {P3; P6; P7; P9; P20} | O (t2) = {P4; P8; P11; P12} |
I (t3) = {P7; P8; P11} | O (t3) = {3P7; 2P9; P10} |
I (t4) = {P4; P12; P13; P15; P16; P20} | O (t4) = {P3; 3P13; P18} |
I (t5) = {P2; P3; P18; P20} | O (t5) = {P4; P5} |
I (t6) = {P3; P12; P13; P15; P20} | O (t6) = {P4; P6; P14; P17} |
I (t7) = { P13; P14; P17} | O (t7) = {P13; 2P15; P16} |
I (t8) = {P4; P6; P7; P9; P10; P20} | O (t8) = {P3; P7; P18} |
I (t9) = {P20} | O (t9) = {P21} |
I (t10) = {P3; P6; P7; P8} | O (t10) = {P21} |
I (t11) = {P3; P12; P13; P14} | O (t11) = {P21} |
Построение сети Петри
Построение сети Петри представлено в Приложении 1. Однако следует отметить, что так как анализируемый участок ГАК представляет собой среднее звено в процессе подготовительной стадии обработки детали, то принимаем непрерывный подвод заготовок транспортером Т1 и наличие свободной позиции приема транспортера Т2. Соответственно всегда присутствуют сигналы в позициях Р1 и Р2. Кроме того, исключаем наличие посторонних предметов (людей) в зоне действия робота (на позиции Р19 всегда фишка после каждого перехода).
Теоретически разрешен только один переход, но возможны и ситуации, приводящие к тупику, т.е. невозможность срабатывания перехода, так как при одних и тех же условиях могут выполняться несколько переходов. В этом случае следует придерживаться приоритетного порядка их выполнения.
Анализируя данную сеть Петри, приходим к следующим выводам:
- данная сеть является безопасной
- условие сохранения выполняется по окончанию каждого цикла
Исполнение сетей Петри
Таблица 5.4.
P | |||||||||||||||||||
t1 t2 t3 t4 t5 t1 t6 t7 t8 t5 t1 t2 t3 t4 t5 | |||||||||||||||||||
... | .. | .. | .. | .. | .. | .. | .. | .. | .. | .. | .. | .. | .. | .. | .. | .. | .. | .. |