Page 138 - 2579

M = [0, 1, 0, 0, 1], таким чином збудження переходу
процесу Пр2 (зчитування даних) не станеться доти,
доки Пр1 не перейде в постійний стан і розмітка не
стане М1.
Розширення мереж Петрі
1 Введення вагових коефіцієнтів.
Для кожної позитивної дуги можна задати
певний ваговий коефіцієнт (вагу) = 1 або >1. За
замовчуванням =1.
Перехід збуджується тоді, коли кількість
маркерів у кожному вхідному вузлі більша ваги
дуги або дорівнює їй.
У разі спрацювання переходу кількість
маркерів кожного вхідного вузла зменшується на
відповідну вагу вхідної дуги, а кількість маркерів
вихідного вузла збільшується на вагу вихідної
дуги.

2 Розширення можливостей вузлів під час
моделювання.
У МП вузли виступають як сховище даних, а
переходи як потоки даних. Маркером можна
призначити різні типи даних (цілі, рядки і т. д.).
Можна зазначити режим доступу до маркерів
(тобто, яким чином маркери надходять до вузлів і
як вилучаються). Це дає можливість формувати у
вузлах черги маркерів (як у СМО).
1 RAM – принцип випадкового доступу,
маркер, що надійшов розміщується в черзі
випадково, у разі спрацювання переходу
вибирається із черги випадково.

132