Розширення можливостей вузлів під час моделювання

Подальше розширення можливостей мереж Петрі для виконання завдань моделювання пов'язане з переходом від використання вузлів з маркерами і переходів до використання сховищ даних (вузол з деякою структурою даних) і потоків даних.

Вище зазначалось, що в мережі Петрі всі допустимі стани моделі позначаються вузлами з маркерами. У загальному випадку вузли виступають як сховища даних заданого об'єму, а переходи — як потоки даних. Можливості вузлів мережі Петрі можна значно розширити, якщо маркерам призначати різні типи даних, наприклад рядки символів, цілі або дійсні числа, множини, структури, як це робиться в мовах програмування. Тоді у разі зображення вузлів з такими маркерами необхідно вказувати типи даних і визначати максимальну кількість маркерів кожного типу, які можуть знаходитись у вузлі.

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

Таблиця 3.1. Основні режими доступу до вузлів у розширеннях мереж Петрі

Режими доступу	Опис
RAM	Принцип випадкового доступу. Маркер, який надійшов до вузла, розміщується в черзі випадково. У разі спрацювання переходу маркер, який вилучається з черги, вибирається випадково
FIFO	Принцип «першим прийшов — першим покинув». Маркер, який надійшов до вузла, розміщується в черзі останнім. У разі спрацювання переходу вилучається перший маркер черги
LIFO	Принцип «останнім прийшов — першим покинув». Маркер, який надійшов до вузла останнім, розміщується в черзі першим. У разі спрацювання переходу вилучається перший маркер черги
FIFORAM	Принцип «прийшов випадково — першим покинув». Маркер, який надійшов, розміщується в черзі випадково. У разі спрацювання переходу з черги вилучається перший маркер
LIFORAM	Принцип «прийшов випадково — останній першим покинув». Маркер, який надійшов, розміщується в черзі випадково. У разі спрацювання переходу з черги вилучається останній маркер

Вибір режимів формування черги і вилучення із неї маркерів залежить від того, в якій послідовності потрібно перевіряти маркери у вузлах. Тому навряд чи можна дати загальну пораду відносно того, які режими доступу використовувати. У простих мережах Петрі автоматично використовується режим довільного доступу (порядок поставлення маркерів у чергу та порядок їх вилучення для них не має значення).

Розширення можливостей вузлів мереж Петрі є досить зручним засобом для моделювання матеріальних та інформаційних потоків у виробничих системах.

Дата добавления: 2014-01-05