Тук всичко е позволено: 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) Terminal пикове - пасивни пикове, когато няма разрешени преходи (0,0,1)
4) Дубликат върха - на върха с маркировки, които вече са изпълнени в дървото (0,1,1)
В горния пример показва, че броят на граничните върхове зареди нова граница, която ще се построи нова маркировка (), в който в една или повече позиции на чипове се увеличава непрекъснато (не предприемането на нова информация).
Затова той въвежда понятието за безкрайност (безкраен брой чипове в позиция) - специален знак.
Всеки връх, постъпил в позиция, генерира същото.
Като се има предвид системата - оператор на машина. Машини се активират под контрол оператор. три машина е определено в системата :. ; и двама оператори. ,
Операторът може да работи с машините и.
Операторът може да обслужва машини и.
В тази система, извършва някои поръчки. Тези поръчки се нуждаят от две точки за обработка:
а) В заповедта е пристигнал и се чака за обработка
б) поръчката е обработена и е в очакване на (все още) един от двамата. или
в) Проверете конфигуриран
I) е под влиянието (свързана с него)
а) под влияние
л) под влияние
т) под влияние
В този случай, може да се появи следните събития:
1. Заповедта е въведен
2. Започнете заповедта за изпълнение
3. Когато заповедта за изпълнение
4. започва изпълнение на поръчката на
5. прекрати поръчката за изпълнение
6. започва изпълнение на поръчката на
7. завършва с цел изпълнение
8. започна цел изпълнение
9. завърши изпълнение на поръчката на
10. Заповедта се изпраща на доставката (в конвейер)
Пишем по-горе, се сравняват събития и условия, включително дефиниране предпоставки и postconditions.
Алгоритъм за построяване на достижимост дърво
Всеки връх аз - дървото е свързана с повишена етикетиране. който може да бъде неотрицателно цяло число, или "гърди". Всеки връх е класифицирано като граница, или терминал, или дубликат, или вътрешен.
Гранични върхове все още не са обработени от алгоритъма. Алгоритъмът ще ги превърне в или терминал, или в два екземпляра или на вътрешния връх. Алгоритъмът започва с определяне на началната маркировка дърво корен, който е до една и съща граничния възел. До там са гранични върхове, те се обработват от алгоритъма. Да - някои граница връх на оригинала аз - дърво, за да се лекува и да го направи "Пинокио":
1) Ако има друго дърво в горната част, която не е граница, а тя е свързана с една и съща маркировка, разбира се. След това HY на връх - дубликат
2) Ако на етикета, нито един от преходите не е позволено, т.е., за всички Ø. тогава х - терминал (застой) отгоре.
3) За всеки преход в разрешено. т.е. Ø. можете да създадете нов връх Z-дърво достижимост. Маркиране на Z, свързана с върха Z-дърво се определя за всяка позиция, която е дефинирана както следва:
Б) ако пътеката от корен възел на върха на х съществува връх у, така че. след =
Path - последователност от възли и дъги на оригиналния върха.
Б) Ако кажем, че
Така че, когато uvse върховете Kazuto терминал, дубликати и вътрешни - algoritmos спира.
в реално време, системи за управление (няколко подхода)
Например, системата за контрол (CS) спътници трябва да получават информация за оборудване и подаване на управляващите сигнали към оборудването на. Пример за формулиране опростена логически математически модели на управление:
x1 ... Xn - входове в задника
y1 ... хм - на изхода на магарето
. Във Виетнам (системи в реално време), което означава, система за управление на технологично оборудване, бордови системи за на изпълнителната и други най-високо ниво SU-вероятно трябва да вземат системата:
а) на произволна времето куп.
б) набор-Mo менти определени например циклограма.
Сигналите от оборудването може да дойде като резултат от предишни команди контролер. По този начин, на контролера, ако командата бе дадена машина ай-1 - за да започне обработване на детайла, сигналът отговор от тази машина ще сигнализира XK. уведомява края на работния ден.
Така диаграма последователност се наблюдава от оборудването (контрола) и PLC изложени в момента референтната пристигане на потвърждаване (обратно в края на машината) сигнализира taymiruya време. Даване на някои отбор оборудване. PLC започва един от таймерите.
Послепис редактирана 13.S.S.
Свързани статии