Переходи, які спрацьовують у модельному часі

Для того щоб моделювати динамічні системи, потрібно мати можливість пов'язати моменти спрацювання переходів з модельним часом (рис. 3.19). Вирізняють переходи кількох типів — миттєвий, експоненціальний і детермінований.

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

Рис. 3.19. Мережа Петрі з різними типами переходів

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

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

Фрагмент мережі Петрі, зображений на рис. 3.20, ілюструє окремі можливості спрацювання переходів. Переходи Т 1 і Т 2 починають збуджуватись у момент часу 0. Після моделювання протягом 10 с перехід Т 1 генерує маркер, а перехід T 2 генерує маркер після моделювання протягом 20 с. Після цього жоден з переходів не може збуджуватися знову, тому що вузол Р 1 більше не забезпечує достатньої кількості маркерів.

Більшість систем моделювання підтримує різні закони розподілу часу для спрацювання переходів. Наприклад, система POSES ++ підтримує рівномірний, нормальний, логарифмічний розподіли, гамма-розподіл, показовий і пуассонівський розподіли. У разі необхідності інші функції розподілу може бути додано за допомогою мови С.

Слід зауважити, що визначення часу спрацьовування переходу може бути пов'язане з вузлом, тобто вузол Р може бути пов'язаний з часом d. У цьому випадку, якщо маркер з'явиться у вузлі Р у час t, то перехід, для якого Р є вхідним вузлом, може спрацювати тільки в час t + d.

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