Всеки-тото разклонение на дървото е свързана с разширение маркиране т а (I). разширение номер маркиране на етикетите в позиция може да бъде неотрицателно цяло число, или безкраен. Безкраен брой линии означени с w ()
Върхове се класифицират в 4 типа:
Границата е най-, Koto-ръжта все още не са обработени от алгоритъма.
Алгоритъмът започва с начална референтни маркировки. Докато има гранични върхове, те се обработват от алгоритъма.
Нека х - граница връх да бъдат обработени, и което е свързано с маркировка м (х).
1. Ако ивици m (х) на един от преходите nerazreshen, т.е. m (х) задънени маркировки, крайната връх Х-.
2. Ако дървото има друг връх у. която не е граница, и тя е свързана с маркировки м (у) = М (х), след това върха х дублира.
3. За всяка преход TJ, комплектът на Т, оставя маркиране m (х), за да се създаде нов връх Z достъпност дърво. Разделяне m (Z), свързан с този връх се определя за всяка позиция пи следва:
II. ако пътя от корена на връх Ш Щ е такава, че TJ и
т- (Z) I = W;
III. в противен случай
дъга белязан TJ, тя се насочва от връх до връх х Z. X връх е предефинирани като вътрешен, на връх Z става граница.
Когато всички възли на дървото са крайни, дубликат или вътрешен алгоритъм спира.
крайното дърво достижимост на
Tj преход Петри нетна C, се нарича потенциално Start Run етикетиране # 956; ако R (С, # 956) съществува маркировка # 956; ", където е разрешена TJ.
Преход е активен при етикетирането # 956;, ако потенциално тече в етикетиране на R (С, # 956).
о Ниво 0: Преместете TJ никога не може да бъде стартиран.
о Layer 1. Преход TJ потенциално изпълнява.
о Layer 2: има последователност започва, в която TJ преходния присъства най-малко п пъти за всяко цяло число п
о 3 ниво. Има безкрайно последователността започва в които има преход TJ неограничен брой пъти.
о 4 ниво. за всеки # 956; " на R (С, # 956) има последователност на катери # 963;, TJ преходния се оставя в # 948 (# 956; ', # 963).
Отивате с ниво на активност на 0, то се нарича пасивен.
Отивате с ниво на активност на 4, то се нарича активен.
Петри нетна има ниво на активност и, ако всеки преход има ниво на активност и.
Петри мрежа с преходи на различни нива
t1 - първо ниво
T2 - второ ниво
t3 - трето ниво
Някои видове мрежи на Петри:
Временно Петри нетни - преходи имат тегло, който определя времето за реакция (забавянето).
Стохастична Петри нетната - закъсненията са случайни величини.
Функционално Петри нетни - закъснения се определят като функция на определени променливи, например, броят на етикети във всички позиции, някои държавни преходи.
Цветна Петри мрежата - етикети могат да бъдат от различни видове, обозначени с цвета, вида на етикета може да се използва като аргумент в функционални мрежи.
Инхибитор на Петри Net - възможно инхибиторна дъга забрана операция за прехвърляне, ако позицията на въвеждане свързани с дъга преходния инхибитор е етикет.
Обработва възникване и отстраняване на проблеми в техническата система, състояща се от множество подобни блокове. Резерватът е един дефектен блок; известни статистически данни за интензивността и продължителността на авариите на операции като отстраняване на проблеми, ремонт и подмяна на авариралия. Търсене и замяна на неуспешен единица произвежда една бригада, и ремонт на заменя единица - другия отбор
M съответства на броя на елементи в системата.
t1 - блок недостатъчност - време между отказите
T2 - Отстраняване на блок, - продължителност на търсене
t3 -replacement повреден единица - продължителността на замяната
Т4 - в края на ремонта - време за ремонт.
Опростен модел на протокола за комуникация между двата процеса
Свързани статии