Тут дозволено все: t1 і t2 Так як ми хочемо розглянути всі ситуації, то виконаємо це для обох переходів.
Побудова дерева досяжності.
Тут вершинами будуть різні досяжні маркування, а дугами - переходи. Тепер необхідно розглянути всі маркування, досяжних з таких маркувань. Можна знову запустити t1 і t2. Після цього можна продовжувати маркування. Однак зауважимо, що маркування (0,0,1) - це маркування пасивна, тобто з неї ніякі маркування породжуватися не будуть. Відзначимо, що маркування (0,1,1), породжувана запуском t3. з маркування (0,2,1) по дузі t3 вже була в дереві (вона була породжена t2), тобто відбулося дублювання. Тоді, якщо продовжувати побудову дерева, то це дерево досяжності може виявитися нескінченним. До речі, кінцева мережу Петрі може мати нескінченну дерево.
Є кілька засобів обмеження такого дерева, тобто показати марність його продовження.
Введемо деякі поняття по дереву досяжності:
У цьому дереві вершини - це послідовність маркувань ...
1) Початок дерева - коренева вершина
2) Гранична вершина - це нова вершина, що виходить зі старої маркування (1,3,0; 0,3,1)
3) Термінальні вершини - пасивні вершини, коли немає дозволених переходів (0,0,1)
4) Дублирующие вершини - вершини з маркуванням, які вже зустрічалися в дереві (0,1,1)
У розглянутому прикладі видно, що ряд граничних вершин породжував нові граничні, тобто йшло побудова нового маркування (), в якій в одній або в декількох позиціях кількість фішок постійно збільшується (не приносячи ніякої нової інформації).
Звідси вводиться поняття нескінченність (нескінченне число фішок в позиції) - спеціальний символ.
Кожна вершина, що одержала в позиції, породжує таку ж.
Задана система - якийсь автомат і оператор. Автомати спрацьовують під управлінням оператора. В системі задані три автомата:. ; і два оператора. .
Оператор може працювати з автоматами і.
Оператор може обслуговувати автомати і.
У цій системі виконуються деякі замовлення. Ці замовлення вимагають двох стадій обробки:
а) Замовлення прибув і чекає обробки на
б) Замовлення оброблений на і чекає (все ще) або. або
в) Замовлення виконано
і) перебуває під впливом (пов'язаний з ним)
к) під впливом
л) під впливом
м) під впливом
При цьому можуть відбуватися такі події:
1. Замовлення надійшло
2. починає виконання замовлення на
3. закінчив виконання замовлення на
4. починає виконання замовлення на
5. закінчує виконання замовлення на
6. починає виконання замовлення на
7. закінчує виконання замовлення на
8. розпочав виконання замовлення на
9. закінчив виконання замовлення на
10. Замовлення відправляється на доставку (включений якийсь транспортер)
Запишемо сказане, зіставивши події і умови, в тому числі визначимо передумови і постумови.
Алгоритм побудови дерева досяжності
Кожна вершина i - дерева зв'язується з розширеною маркуванням. де може бути або невід'ємне ціле, або «цицьки». Кожна вершина класифікується як гранична, або термінальна, або дублююча, або внутрішня.
Граничними є вершини ще не оброблені алгоритмом. Алгоритм перетворить їх в або в термінальні, або в дублюючі, або у внутрішні вершини. Алгоритм починається з визначення початкової маркування кореня дерева, який є поки так само граничної вершиною. До тих пір поки є граничні вершини, вони обробляються алгоритмом. Нехай х - деяка гранична вершина вихідного i - дерева, яку необхідно обробити і зробити з нього "буратіно":
1) Якщо в дереві є інша вершина у, яка не є граничною і з нею пов'язана та ж маркування, тобто. то вершина х.й - дублююча
2) Якщо на маркуванні жоден з переходів не вирішено, тобто Ø для всіх. то х - термінальна (тупикова) вершина.
3) Для будь-якого переходу дозволеного в. тобто Ø. то можна створити нову вершину z -дерева досяжності. Маркування z, пов'язана з вершиною z-дерева, визначається для кожної позиції, тобто визначається наступним чином:
Б) якщо на шляху від кореневої вершини до вершини х існує вершина у, така, що і. то =
Шлях - це послідовність вершин і дуг до вихідної вершини.
В) в іншому випадку ми говоримо, що
Отже, коли увсе вершини Казуто термінальними, дублюючими і внутрішніми - алгорітмос зупиняється.
Управління в системах реального часу (деякі підходи)
Наприклад, система управління (СУ) КА повинна приймати інформацію від устаткування і видавати керуючі сигнали обладнанню. Складемо приклад спрощеної логічної математичної моделі управління:
х1 ... хn - вхідні сигнали в попку
в1 ... уm - вихідний сигнал з попки
У СРВ (системах реального часу), тобто системі управління технологічним обладнанням, бортовими виконавчими системами та ін. СУ верхнього рівня повинна мабуть приймати системи:
а) в довільні моменти часу псуємо повітря.
б) в задані мо-ментів, які визначаються наприклад циклограми.
Сигнали від обладнання можуть приходити як результати попередніх команд контролера. Так, контролер, якщо була дана команда верстата уi-1 - почати обробку деталі, то у відповідь сигналом від цього верстата буде сигнал хk. сповіщає про закінчення роботи.
Таким чином, циклограмма відстежується самим устаткуванням (СЧПУ), а ПЛК виставляє у себе контрольний час приходу підтверджують (у відповідь після закінчення дії верстата) сигналів, тайміруя час. Видаючи якусь команду обладнанню. ПЛК запускає один з таймерів.
P.S. під редакцією 13.С.С.