Пріоритети переходів

Оскільки для спрацьовування переходу треба перевірити правила збудження, виникає ситуація, коли окремі переходи конкурують між собою за володіння маркерами. Доки не задані ніякі пріоритети, переходи, що конкурують, вирішують проблеми довільно, тобто генератор випадкових чисел з однаковою ймовірністю для всіх переходів визначає, який з них повинен перевірятися спочатку. Якщо для цього переходу виконується правило, то він збуджується раніше за тих, які могли б також збуджуватись.

Приклад конкуруючих переходів наведено на рис. 3.23.

Якщо, наприклад, потрібно, щоб переходи Т 1 і Т З спрацьовували раніше, ніж переходи Т 2 і Т 4, необхідно встановити їх пріоритети. Стандартний пріоритет переходу в системі POSES ++ має значення 100. Максимально можливий пріоритет дорівнює 1. Усі інші пріоритети відповідно нижчі. Найнижчий можливий пріоритет 2³², тобто пріоритети можуть у системі POSES ++ приймати значення від 1 до 4 294 967 295. У будь-якому випадку програма керування моделюванням перевіряє всі переходи, що мають більш високий пріоритет, і вони спрацьовують раніше, ніж переходи з більш низьким пріоритетом. Якщо окремі переходи мають однаковий пріоритет, програма керування моделюванням вибирає один перехід довільно (відповідно до принципу рівномірного розподілу), і він збуджується.

Рис. 3.23. Конкуруючі переходи

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