До лабораторної роботи №5: вивчення мереж Петрі.

ВАРІАНТИ

	Рис.1	Рис.2	Задача	Контрольні запитання
			Моделювання послідовного обслуговування клієнтів продавцем магазину. Продавець знаходиться в стані очікування до тих пір, поки не підійде клієнт з проханням продати одну одиницю товару. Продавець запаковує товар і віддає його клієнту. Будемо вважати, що на прилавку може зберігатися лише одна одиниця товару. На місце проданого екземпляру новий потрапляє лише тоді, коли попередній клієнт буде обслугований. Склад є постійно повним.	1. Чим «розширені мережі Петрі» відрізняються від «простих мереж Петрі»? 2. Вкажіть, чи наведене нижче твердження є вірним. [Аргументуйте свою відповідь]: дуги-заперечення в мережах Петрі зображаються з кружечком на кінці і мають дугову вагу; 3. В чому полягає недетермінованість (невизначеність) перемикань мережі Петрі? 4. Сформуйте правила активізації та спрацьовування переходів для простих мереж Петрі. 5. Чим відрізняється «жива» мережа Петрі від „мертвої” мережі Петрі?
			Моделювання пропускної системи на підприємстві. Охоронець знаходиться в стані очікування до тих пір, поки не підійде співробітник з пропуском. Співробітник може забути пропуск, тоді йому необхідно йти до начальника служби охорони для отримання тимчасового пропуску. Іноді, за власним бажанням охоронець залишає пост і йде пити каву. За цей час збирається черга із співробітників. Охоронець перевіряє пропуск особи за 2 хвилини, а п‘є каву 10 хвилин 1 раз у дві години. Кожної години начальник перевіряє чи охоронець знаходиться на посту. В цей момент співробітники не можуть отримати тимчасові перепустки, і, якщо охоронець не на посту, то він перериває процес пиття кави.	1. Охарактеризуйте поняття: „багаторазове маркування”, „дуги-заперечення”, „вага дуг”. 2. Вкажіть, яке з наведених нижче тверджень є вірним. [Аргументуйте свою відповідь]: чи коректні зображення частини мережі Петрі до і після переходу: 3. Поясніть мету використання мереж Петрі. 4. Сформуйте правила активізації та спрацьовування переходів для розширених мереж Петрі. 5. Які типи ребер мереж Петрі Ви знаєте?
			Моделювання процесу отримання зарплати співробітниками установи. Доки є гроші в касі, касир видає зарплату співробітникам. Якщо гроші закінчились, то касир повідомляє про це кур‘єра телефоном. Кур‘єр приносить за 1 раз 10 000 грн з сейфу. Кожен співробітник має на руках розрахунковий лист з вказаною сумою до виплати. Сейф завжди повний.	1. Що таке „Мережа Петрі”? 2. Вкажіть, чи наведені нижче твердження є вірними. [Аргументуйте свою відповідь]: мережа Петрі називається розширеною в тому випадку, коли в ній застосовуються всі три типи розширення; 3. якщо мережа Петрі перебуває не в " живому" стані, то однозначно вона знаходиться в " мертвому" стані; 4. Які типи розширень для мереж Петрі Ви знаєте? 5. Яким чином можна описати стан мережі Петрі в довільний момент часу?
			Моделювання процесу конвеєрного виробництва. Для створення деталі необх. виконати послідовно 5 операцій. 5% продукції з браком. Контролер не пропускає таку продукцію, а відправляє на доробку. Розхідні матеріали поставляються з завжди повного складу. Якщо один зі співробітників відправляється на обід, то конвеєр протстоює. За раз обідає тільки один співробітник, так як існує лише один прибор.	1. Які типи розширень для мереж Петрі Ви знаєте? 2. Вкажіть, чи наведене нижче твердження є вірним. [Аргументуйте свою відповідь]: дуга-заперечення може бути направлена від вузла до переходу і навпаки. 3. Чи є мережі Петрі синхронними? 4. Охарактеризуйте „Мертвий стан” мережі Петрі. 5. Проведіть порівняльну характеристику простих і розширених мереж Петрі (у вигляді таблиці).
			Моделювання подій модифікованої казки „Колобок”. Колобок може втекти з будиночка тільки коли бабусі і дідуся немає вдома (в амбарі і в городі відповідно). Галявини з зайцем, вовком та ведмедем колобок може пройти тільки, якщо тварини знаходяться на галявині, якщо їх немає, то колобок знаходиться в стані очікування. Якщо колобок зустрічається з лисою, то вона його з’їдає, якщо ж ні – то він повертається додому (з нестерпним бажанням втекти знову). Заєць, вовк, ведмідь та лиса постійно обходять свої володіння (3, 4, 5 та 6) галявин відповідно. Змоделюйте систему та дайте відповідь на питання: Чи з’їсть коли-небудь лиса колобка, якщо так, то через скільки умовних одиниць часу (тактів спрацьовування)?	1. Що означає словосполучення „дводольний граф” у визначенні терміну [мережа Петрі]? 2. Вкажіть, чи наведене нижче твердження є вірним. [Аргументуйте свою відповідь]: якщо активізований перехід перемикається, то числа-маркування усіх вхідних вузлів цього переходу збільшуються на одиницю, а вихідних – зменшуються на одиницю; 3. Як пов’язані між собою терміни " АКТИВІЗАЦІЯ" та " ВВІМКНЕННЯ" переходу? 4. Замалюйте вигляд переходів, що постійно генерують і знищують марки. 5. Охарактеризуйте „Живий стан” мережі Петрі.