Розширення можливостей вузлів під час моделювання
Подальше розширення можливостей мереж Петрі для виконання завдань моделювання пов'язане з переходом від використання вузлів з маркерами і переходів до використання сховищ даних (вузол з деякою структурою даних) і потоків даних.
Вище зазначалось, що в мережі Петрі всі допустимі стани моделі позначаються вузлами з маркерами. У загальному випадку вузли виступають як сховища даних заданого об'єму, а переходи — як потоки даних. Можливості вузлів мережі Петрі можна значно розширити, якщо маркерам призначати різні типи даних, наприклад рядки символів, цілі або дійсні числа, множини, структури, як це робиться в мовах програмування. Тоді у разі зображення вузлів з такими маркерами необхідно вказувати типи даних і визначати максимальну кількість маркерів кожного типу, які можуть знаходитись у вузлі.
Існує ще одна можливість розширення функцій вузлів — зазначити режим доступу до маркерів, тобто задати, яким чином маркери (дані) надходять до вузлів та як вони з них вилучаються. Це дає змогу формувати у вузлах черги маркерів подібно тому, як створюються черги вимог у СМО. У табл. 3.1 наведено основні режими доступу до вузлів.
Таблиця 3.1.Основні режими доступу до вузлів у розширеннях мереж Петрі
Режими доступу | Опис |
RAM | Принцип випадкового доступу. Маркер, який надійшов до вузла, розміщується в черзі випадково. У разі спрацювання переходу маркер, який вилучається з черги, вибирається випадково |
FIFO | Принцип «першим прийшов — першим покинув». Маркер, який надійшов до вузла, розміщується в черзі останнім. У разі спрацювання переходу вилучається перший маркер черги |
LIFO | Принцип «останнім прийшов — першим покинув». Маркер, який надійшов до вузла останнім, розміщується в черзі першим. У разі спрацювання переходу вилучається перший маркер черги |
FIFORAM | Принцип «прийшов випадково — першим покинув». Маркер, який надійшов, розміщується в черзі випадково. У разі спрацювання переходу з черги вилучається перший маркер |
LIFORAM | Принцип «прийшов випадково — останній першим покинув». Маркер, який надійшов, розміщується в черзі випадково. У разі спрацювання переходу з черги вилучається останній маркер |
Вибір режимів формування черги і вилучення із неї маркерів залежить від того, в якій послідовності потрібно перевіряти маркери у вузлах. Тому навряд чи можна дати загальну пораду відносно того, які режими доступу використовувати. У простих мережах Петрі автоматично використовується режим довільного доступу (порядок поставлення маркерів у чергу та порядок їх вилучення для них не має значення).
Розширення можливостей вузлів мереж Петрі є досить зручним засобом для моделювання матеріальних та інформаційних потоків у виробничих системах.