В графичен вид мрежа е показана на фиг.1. Мрежата се състои от четири места и три преходи. Отношение определя дъга мрежа. Например елемент определя четири дъги: в и на мултиплетности 2, и от в единични множества. За да отидете вярно. За населени места може да се изчисли.

Фиг. 1: Пример на нетна графика Петри

Сама по себе си идеята за мрежа има статичен характер. За да зададете динамичните характеристики, концепция етикетиране мрежа, т.е. функция, която определя всяко място на цяло число. Графично изобразен като маркиращи точки, наречени тагове (жетони), и подредени в кръгове, съответстващи мрежови сайтове. Липсата на марка на място, показва нула маркиране на това място.

1. - мрежа;
2. - първоначална маркировка.

Пример. Пример маркирани мрежа.

Фиг. 2: Пример за маркиран Петри нетната

Мрежи на Петри са разработени и се използват за моделиране на паралелни и асинхронни системи. В симулацията на мястото на мрежи на Петри символизират всяко състояние на системата, както и прехода представляват всички действия, които се случват в системата. Системата е в определено състояние, може да доведе до някои действия, и обратно, изпълнението на извършване на действие на системата от едно състояние в друго.

Сегашното състояние на системата определя етикетирането на мрежи на Петри, т.е. разположението на маркировките (жетони) до местата на мрежата. Изпълнението на действия в системата на мрежи на Петри се определя като преходите на операцията. преходи задействане генерира нов етикет, т.е. Тя създава нова марка разположения (жетони) в мрежата. Ние определяме за експлоатация маркирани мрежи, базирани на активирането на отделните преходи.

1. Преходът се счита за възбудено (активиран) за маркиране, ако;
2. Daylight развълнуван (активиран) в маркировката, може да работи. което води до нов етикетирането, който се изчислява в зависимост от правилото. Задействане преход се нарича.

С други думи, на прехода се счита за възбудено (активиран) като етикетиране ако всеки сайт има въвеждане поне на броя на етикети, съответстващи на множество дъги. Възбудените (активиран), преходът може огън, и при работа на всеки от входа пространство се изтегля и се прибавя към всеки вход множество етикети равно множество съответните дъги. Ако в същото време тя се отвори (активиран), няколко преходи могат да работят някой от тях или комбинация от тях. Например, да предположим, че мрежата на фигура 2 и ще работи преходи. Получават мрежата, показана на фигура 3.

Фиг. 3: New маркирани мрежа.

Compositionality подход към изграждането на Петри нетна предполага възможността за изграждането на една по-сложна мрежа от по-малко сложни компоненти. За да направите това, въведете точката за достъп, която позволява да се съчетаят проста мрежа чрез синхронизиране на събития и състояния (преходи и места).

точка Т-достъп - точка, определена от следните условия
Като се има предвид мрежа и азбука. точка за достъп се нарича T-набор, където

1. - име (идентификатор) на точка т достъп;
2. - азбука;
3. - функция за редакция, където. Запишете множеството от всички крайни и не е празна MultiSet, определено на снимачната площадка.

S-Access Point - точка, определена от следните условия
Като се има предвид мрежа. Тогава точката за достъп до мрежата S-N е зададен, когато

1. - име (ID) точка и достъп;
2. - настроен, така че.

Вписана на концепцията за точки за достъп предоставя възможност за въвеждане на две основни операции на мрежи на Петри за изграждане на compositionality мрежа:

1. Операциите преходи сливат - позволява да се опише и генерира синхронизация на паралелни процеси (tmerge);

2. Работа сливане - позволява да се прилага по отношение на мрежите в съответствие операция състав, подбор, както и друга итерация (smerge).

Фиг. 4: Пример преходи сливат операция

Фиг. 5: Пример места сливат операция

Даденият операция, имат следните значения:

В сливане - определен набор от състояния, в мрежата се определя като състоянието на мрежата, на името на определен момент и достъп. Fusion от различни мрежи е такава, че ако се постигне описано състояние, от друга мрежа също така се получава състояние, постигнато в една и съща мрежа;

В сливането на преходи - се определя от азбуката на събития, видими от точка т достъп. Всеки преход е маркиран в мрежата или невидим събитие или комбинация от събития от азбуката на точката за достъп. на преходите на сливането е направено така, че ако определена комбинация от събития се случва, когато се активира една мрежа, а след това една и съща комбинация от събития се случи през втората мрежа.

Знаете ли, че синтетичния модел - математически модел, разработен за проектиране на нов, различен от познатите системи с желаните свойства. Сред синтетични иконометрични модели включват, например, модели на машини и трактори, модел на формиране на инвестиционни програми и др.

Новини
Knights етер теория

Свързани статии

• Да разгледаме следния Петри мрежата - studopediya

• мрежи на Петри

• Windows имат достъп до компютри в локалната мрежа с Android таблет, 4tablet-компютъра