повідає безперервному поданням часом). У моделі або дозволяється тільки одиночне спрацьовування переходу, або передбачається принцип максимального кроку спрацьовування (тобто одночасного спрацьовування максимально можливої вЂ‹вЂ‹кількості паралельних переходів). [2]
Тимчасова функція, яка зіставляє кожному переходу натуральне число, відповідне тимчасової тривалості його спрацьовування, називається дискретно - часовий СП. p> Приклад моделювання дискретно-часовими СП процесу запиту таблиці рекордів. (Рис.6). br/>В
Рис.6 Моделювання дискретно-часовими СП процесу запиту таблиці рекордів
1.3 Опис інструменту моделювання
Мережа Петрі являє собою двочастковий орієнтований граф <# "162" src = "doc_zip8.jpg"/>
Рис.7 Ділянка мережі, що моделює процес входу в гру
По завершенню завантаження (t13), гравець опиниться в головному меню (p13), в якому є кілька варіантів: 1) перехід (t14) в меню гри (р14), або-2) перехід (t27) в меню налаштувань ( р22). З цих меню можна повернутися назад в головне (t15, t28 відповідно). З меню гри (р14) користувач може потрапити в (t16) меню режиму кампанії (р15), або (t18) у меню режиму В«утриманняВ» (Р19), з яких може повернутися (t17, t 19 відповідно) назад в меню гри ( р14). З меню режиму В«кампаніїВ» гравець може потрапити або (t20) у меню В«поліпшеньВ» (р16), або в меню покупок (p17), або (t24) перейти до завантаження гри (p18). З меню В«утриманняВ» (Р19) гравець може або (t25) запросити таблицю рекордів, або (t26) перейти до завантаження гри (р21). p> Це представлено на рис.2
В
Рис.8 Моделювання процесу знаходження гравця в системі меню
Опинившись в меню налаштувань (р22), користувач має можливість перейти до налаштувань звуку (р23), відео (р24) або введення (р25), запустивши переходи t29, t31, t33 відповідно. Повернутися назад можна запустивши переходи t30, t32, t34 відповідно. Перебуваючи в меню налаштувань звуку, відео або введення, користувач може змінити (відповідно t35, t36, t37) їх. Змінені налаштування (Р26) можуть бути або збережені (t38), або скинуті (t39). Якщо користувач вибере другий варіант, він виявиться (t39) у головному меню налаштувань, інакше, після завершення процесу збереження (р27), він виявиться (t40) у головному меню налаштувань. Цей процес представлений на рис.3. br/>В
Рис.9 Моделювання процесу знаходження гравця в системі меню
Процес гри починається з аналізу рівня складності (Р28). Потім програма переходить (t42) до інстаніровке моделей оточення (Р29), після цього до (t43) інстаніровке гравця (р30). Коли гравець з'явився (t44), обчислюється тривалість раунду (р31) і запускається таймер (t45). Мережа, що моделює цей процес, показана на рис. 4. br/>В
Рис.10 Моделювання процесу початкового етапу гри
Далі паралельно виконуються два процеси - наступ ворогів і захист гравця від них. Розглянемо кожен окремо. p> Захищаючись, гра...
