Студопедия

Главная страница Случайная страница

КАТЕГОРИИ:

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника






Часові сітки.




Цi сітки використовуються для реалiстичного вiдображення процесiв та подiй, якi вимагають для свого звершення певного часу.

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

Часові сітки частіше використовуються у випадках, коли необхідно виконати певні розрахунки часу роботи модельованих об’єктів або виконати кількісний аналіз роботи системи.

Сітки Петрі виду (P, T, F, H, Z,m0) називаються часовими сітками Петрі, де Z : P ® R+ – час затримки маркерів у позиціях, R+ – множина додатних дійсних чисел.

Функціонування часових сіток підпорядковується наступним правилам:

1) маркери в позиціях можуть перебувати в двох станах: доступному і недоступному;

2) переходи tj Î T вважаються ініційованими, якщо для них виконані умови збудження "pi Î ·tj : m(pi) ³ F(pi, tj) і у кожній позиції є відповідне цій умові число доступних маркерів;

3) переходи спрацьовують миттєво у той самий момент, коли вони виявляються ініційованими. При спрацьовуванні з кожної позиції видаляються F(pi, tj) доступних маркерів, а в позиції додаються H(tj, pr) маркерів;

4) кожен маркер, що зробив перехід з pi у pr, буде недоступним у позиції pr протягом часу Zr починаючи з моменту його появи в pr, тобто Zr – час блокування маркера в позиції pr, по закінченні якого маркер знову стає доступним.


mylektsii.ru - Мои Лекции - 2015-2018 год. (0.006 сек.)Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав Пожаловаться на материал