онвеєра; Р 10 - поєднання деталей не досягнуто; Р 11 - поєднання деталей досягнуто; t 5 - проведена корекція суміщення деталей; Р 12 - поєднання деталей досягнуто; t д - час руху конвеєра; Р 13 - наявність потрібного інструменту в ІГ; Р 14 - супутник з трьома деталями знаходиться в робочій зоні ІГ; t 6 - процес складання вузла виконаний; Р 15 - наявність супутника із зібраним вузлом; t д - час руху конвеєра; Р 16 - наявність супутника із зібраним вузлом в зоні контролю; t 7 - Проведений контроль з'єднання; Р 17 - наявність супутника із зібраним вузлом; t д - час руху конвеєра; Р 18 - наявність супутника з бракованим вузлом; Р 19 - наявність супутника із зібраним вузлом; t 8 - проведена відбраковування; Р 20 - наявність супутника із зібраним вузлом; t д - час руху конвеєра; Р 21 - осередок операційного накопичувача вільна; Р 22 - наявність супутника із зібраним вузлом в зоні РМ; t 9 - зібраний вузол (СУ) вивантажений в накопітель.Р 23 - розвантаження супутника здійснена; t д - час руху конвеєра; Р 24 - наявність вільного супутника; t 10 - супутники пересунуті на робочу і холосту вітки конвеєра відповідно; Р 23 - супутник передвінут.t д - час руху конвеєра.
На підставі наявної мережі Петрі складемо функцію вхідних інціденцій, функцію вихідних інціденцій, а також граф досяжності.
Таблиця 2 - Функція вхідних інціденцій F
t 1 t д t 2 t д t 3 t д t 4 t д t 5 t д t 6 t д t 7 t д t 8 t д t 9 t д t 10 t д P 1 10000000000000000000P 2 10000000000000000000P 3 01000000000000000000P 4 00100000000000000000P 5 00010000000000100000P 6 00001000000000000000P 7 00000100000000000000P 8 00000010000000000000P 9 00000001000000000000P 10 00000000100000000000P 11 00000000100000000000P 12 00000000010000000000P 13 00000000001000000000P 14 00000000001000000000P 15 00000000000000000000P 16 00000000000010000000P 17 00000000000001000000P 18 00000000000000100000P 19 00000000000000100000P 20 00000000000000010000P 21 00000000000000001000P 22 00000000000000001000P 23 00000000000000000100P 24 00000000000000000010P 25 00000000000000000001
(P 1 , P 2 , P 3 , P 4 , P 5 , P 6 , P 7 , P 8 , P 9 , P 10 , P 11 , P 12 , P 13 , P 14 , P 15 , P 16 , P < i align="justify"> 17 , P 18 , P 19 , P 20 , P 21 , P 22 , P 23 , P 24 , P 25 )
(1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0)
(0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0)
(0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0)
(0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0)
(0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0)
(0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0)
(0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0)
Малюнок 4 - Фрагмент графа досяжності
3. Розробка імітаційної моделі системи з урахуванням позаштатних ситуацій
Таблиця 4 - Позаштатні умови і події в моделі
Позаштатні умови в моделіВнештатние події в моделюються/1 - вільний супутник не надійшов на позицію загрузкіt/1 - завантаження зупинена, система управління виробила сигнал СТОП і сигнал виклику РБР РБ - наявність ремонтної бригади по визовуt Р - ремонтна бригада справила ремонтР/6 - відсутність деталі в БЗУt/3 - завантаження зупинена, система управління виробила сигнал СТОП і сигнал виклику РБР РБ - наявність ремонтної бриг...
