Дисципліни:
Лабораторна робота №3
На тему:

Моделювання складних об'єктів і систем за допомогою мереж Петрі.

Дисципліна: Системний аналіз та проектування комп’ютерних інформаційних систем
ВНЗ:НУ «ЛП»
Формат: Word Doc

Переглядів: 1683 Додано: 2015-04-14




Частина тексту

Мета роботи – розробка формалізованої модель регульованого перехрестя.

Моделювання роботи світлофора та перехрестя

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

Світлофор має 6 фаз, представлених вузлами мережі Петрі. Певна фаза є активною, коли її відповідний вузол є маркований. Оскільки в певний момент часу активною може бути лише одна фаза, кількість фішок у мережі дорівнює 1. Значення фаз є наступним: ggg: машини з L1 перетинають перехрестя, ggr: зупинка руху по L1, grr: машини з L2 перетинають перехрестя, rrg: зупинка руху по L2, rgg: автівки L1 починають перетинання перехрестя. Використання фаз ggr, grr, rrg, rgg дозволяє побудувати реалістичнішу модель системи, оскільки вони моделюють як потік машин м’яко стає або рівним нулю, або позитивним.

Класифікація регульованих перехресть

Термін «перехрестя» означає будь-який перетин на одному рівні, з'єднання або розгалуження доріг, включаючи територію, яка утворюється такими перетинами, з'єднаннями або розгалуженнями.

Нерегульоване перехрестя - перехрестя, на якому відсутній і світлофор (або на світлофорі блимає жовтий сигнал), і регулювальник. Розглянемо деякі особливості проїзду нерегульованих перехресть. При проїзді таких перехресть водії повинні керуватися правилами проїзду нерегульованих перехресть, а також знаками пріоритету (за наявності таких).

Виходячи з типу доріг, які перетинаються, класифікуємо нерегульовані перехрестя на два типи:

1) нерегульоване перехрестя рівнозначних доріг;

2) нерегульоване перехрестя нерівнозначних доріг.

Формалізація структури перехрестя з використанням доменів

Для створення повноцінної системи моделювання дорожнього руху необхідний опис можливості проїзду перехресть. Для цього необхідно розробити формальну модель перехрестя, після чого можна переходити до формалізації правил проїзду.

Розглядатимемо перехрестя як статичний об'єкт, який утворюється:

- перетином двох доріг;

- роздвоєнням однієї дороги;

- окремий випадок (перехрестя з круговим рухом).

 

ЛАБОРАТОРНЕ ЗАВДАННЯ

Побудувати модель перехрестя з використанням мережі Петрі.

 Висновок: На даній лабораторній роботі  я навичилася  за допомогою мереж Петрі вирішувати таку проблема, як рух транспорту. Створивши мережу Петрі, я успішно її промоделювала.