Паралельність спрацьовування переходів

За достатньої кількості маркерів у вхідних вузлах переходи можуть спрацьовувати паралельно кілька разів, доки в них не вичерпаються маркери. Це дає змогу описувати досить складні реальні процеси і системи. Кількість спрацьовувань переходу задається значенням паралельності в системі, яка моделюється. Наприклад, стандартне значення паралельності в системі POSES ++ дорівнює 2³², тобто може змінюватись від 1 до 4 294 967 295, що є достатнім для досягнення практичних цілей.

Перехід Т 1 (рис. 3.21) тричі спрацьовує одночасно, тому що обмеження паралельності не визначене. Якщо задати значення паралельності переходу 2, то він міг би спрацьовувати паралельно тільки двічі. Обмеження паралельності не впливає на переходи, для яких не вказаний час спрацьовування. Коли цей час визначено (наприклад, фіксований час 10 с), функціонування переходу відзначається в статистиці результатів моделювання, наприклад: «У час 0 два спрацьовування починаються одночасно і продовжуються 10 с». У модельний час 10 с починається третє спрацьовування і продовжується воно протягом 10 с (доки тривалість модельного часу не досягне 20 с).

Таких же функціональних можливостей можна досягти, якщо змінити структуру моделі. Для цього є маркери, що діють як ресурси (resources), і використовуються, щоб забезпечити максимальну кількість паралельного спрацьовування переходів (на рис. 3.22 два маркери у вузлі Р 5 – це ресурси, наприклад пристрої для обслуговування).

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