- •Розділ 3. Моделювання та верифікація матеріально-інформаційних процесів гвс
- •3.1. Специфікація предметної області інтегрованого виробництва
- •3.2. Базовий апарат сіткових моделей дискретних виробничих процесів
- •3.2.1. Основні визначення та правила роботи сіток Петрі
- •1. Теоретико-множинне визначення сіток Петрі.
- •2. Графічне представлення сіток Петрі
- •3. Матричне подання.
- •4. Правила роботи сітки Петрі.
- •3.2.2. Властивості сіток Петрі
- •1. Обмеженість сітки.
- •2. Збереженість сітки.
- •3. Живучість сітки.
- •3.3. Модифікації сіткових моделей дискретних виробничих процесів
- •3.3.1. Призначення класів сіткових моделей дискретних виробничих процесів
- •1. Кольоровi сітки.
- •2. Часові сітки.
- •3. Предикатнi (прiоритетнi) сітки.
- •4. Інгібіторні сітки Петрі.
- •5. Ієрархічні сітки Петрі.
- •3.3.2 Кольорові сітки Петрі
- •3.3.3. Ієрархічні кольорові сітки Петрі
- •3.4. Засоби верифікації та аналізу властивостей сіткових моделей
- •3.4.1. Дослідження дерева досяжності
- •3.4.2. Дослідження матричного подання сітки Петрі
- •3.4.3. Редукційний аналіз структури і динаміки роботи сітки Петрі
- •3.4.4. Методи аналізу модифікацій сіток Петрі
- •3.5. Методика сіткового моделювання процесів функціонування гвс
- •1. Визначення схем руху предметів виробництва по обробних ресурсах і виділення типових операцій і процесів.
- •2. Структуризація повного опису функціонування системи.
- •3. Формування опису матеріальних потоків і станів виробничих ресурсів.
- •4. Параметризація моделі згідно з визначеними технологіями виготовлення і допустимими схемами руху матеріальних потоків.
- •5. Визначення початкового стану системи.
- •Контрольні запитання
5. Визначення початкового стану системи.
Початковий стан системи подається як початкове маркування позицій кольоровими маркерами і визначає завдання на обробку деталей та поточний функціональний стан устаткування.
Нехай вхідні накопичувачі мають по одній деталі, верстати готові до завантаження і робот очікує виконання першої операції. Тому початкове маркування сітки має вигляд:
0(p1, c6) = 1; 0(p9, c5) = 0(p10, c5) = 1; 0(p11, c1) = 1.
В цілому модель роботизованої системи показана на рис. 3.26. Побудована сітка є обмеженою та умовно живою, тобто структура сітки без позицій p1, p2, p7, p8 є живою, оскільки виробниче устаткування системи після обробки деталей повертається у початковий стан.
Рис. 3.26. Агрегатна модель двоверстатної роботизованої системи
Контрольні запитання
1. Розкрийте складові специфікації предметної області інтегрованого виробництва для визначення матеріальних та інформаційних процесів ГВС.
2. Сформуйте можливості та переваги математичного апарату сіткових моделей дискретних виробничих процесів ГВС.
3. Наведіть відмінності та умови використання підкласів сіткових моделей дискретних виробничих процесів.
4. Розкрийте мету верифікації сіткових моделей та обгрунтуйте ефективність аналізу їх властивостей за деревом досяжності.
5. Розкрийте можливості та ефективність матричного засоба аналізу властивостей сіткових моделей.
6. Визначте базові принципи та особливості редукційного засоба аналізу властивостей сіткових моделей.
7. Наведіть та дайте пояснення до етапів методики сіткового моделювання процесів функціонування ГВС.
