Page 135 - 2579

Перехід, в якого всі вхідні вузли містять
маркери називають збудженим. Збуджений перехід
може спрацювати, після чого всі маркери із
вхідних вузлів переходу перемістяться у вихідні
(рис. 15,1б). Таким чином настає подія, яка змінює
стан мережі.
Якщо одночасно збуджується кілька
переходів мережі, виникає невизначеність, тому
одночасне спрацювання кількох переходів у МП
неможливе, тобто переходи спрацьовують
послідовно, миттєво. Незважаючи на те, що
маркери змінюють своє положення у вузлах, прості
МП – це статичні моделі, в яких не враховується
динаміка в часі (зміна станів мережі не залежить
від моментів часу). Для того щоб за допомогою
МП відтворити динаміку системи, треба зазначити
моменти часу спрацювання переходів.

Розмітка МП
Розмітка М мережі Петрі – це функція, яка
ставить у відповідність маркерам вузлів цілі
додатні числа. Суть розмітки полягає в
приписуванні кожному вузлу певної кількості
маркерів. Наприклад, якщо позначити через N –
саму мережу Петрі, через Р – множину вузлів у
мережі N, через n (Р) – кількість вузлів, то
кожному вузлу цієї мережі можна поставити у
відповідність число із послідовностей {1,2,…n(Р)}.
Таким чином, розмітку M можна зобразити за
допомогою вектора n(P) елементів в якому і-ий
елемент визначає кількість маркерів у і-му вузлі. У
загальному випадку кількість маркерів може бути
> 1.

129