Студопедия

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

КАТЕГОРИИ:

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






Маркування мереж Петрі






МЕТА РОБОТИ

Мета роботи - набуття студентами знань про мережі Петрі, природу систем, які моделю-ються за їхньою допомогою, підходів до проектування систем за допомогою мереж Петрі, практик-них навичок моделювання систем на основі мереж Петрі.

 

КОРОТКІ ТЕОРЕТИЧНI ВIДОМОСТI

Мережі Петрі (МП) це інструмент для математичного моделювання і дослідження складних

систем. Мета представлення системи у вигляді мережі Петрі і подальшого аналізу цієї мережі полягає в отриманні важливої інформації про структуру і динамічну поведінку модельованої системи.

Природа систем, які моделюються мережами Петрі.

Мережі Петрі призначені для моделювання систем, які складаються з безлічі компонент,

які взаєодіють між собою.

Мережі Петрі притаманні такі риси:

1. МП використовується для опису модельованої системи, і це може бути застосовано для

специфікацій (для побудови систем) або опису системи.

2. Поведінку МП можна проаналізувати як моделюванням (що еквівалентно виконанню

програми та її налагодженню), так і формальнішими методами аналізу (що відповідає

програмній перевірці).

3. Процес створення опису та виконання аналізу допомагає краще зрозуміти модельовану

систему самому моделювальнику.

Основні визначення

Визначення 2.1. Мережа Петрі PN є четвіркою PN=(P, Т, I, O), де

• P={p1, p2,..., pn} — скінчена множина позицій, n≥ 0;

• T={t1, t2,..., tm} — скінчена множина переходів, m≥ 0;

• I: T → P* — вхідна функція, яка співставляє переходу мультимножину його

вхідних позицій (графічно представляється вхідними дугами переходу);

• О: T → P* — вихідна функція, яка співставляє переходу мультимножину

його вихідних позицій.

 

Маркування мереж Петрі

Маркування — це розміщення у позиціях мережі Петрі фішок, які зображені на графі мережі Петрі крапками. Фішки використовуються для визначення виконання мережі Петрі. Кількість фішок у позиції при виконанні мережі Петрі може змінюватися від 0 до безмежності.

Визначення 2.2. Маркування М мережі Петрі N=(P, T, I, О) є функцією, яка відображає

множину позицій P у множину невід’ємних цілих чисел Nat (де число з Nat позначає кількість фішок, які розміщуються у відповідну позицію).

Визначення 2.3. Маркована мережа Петрі N=(P, Т, I, О, М) визначається сукупністю

структури мережі Петрі (P, T, I, О) і маркування М.

 

 

Індивідуальне завдання(Варіант 28)

Промоделювати у системі наступні мережі Петрі:

 

 

Зібрана мережа у середовищі програми Pipe:

Аналіз отриманих результатів:

 

У початковий момент часу мітка знаходилася у вузлі P1.

М0 (1 0 0 0 0 0 0 0 0)

Після виконання переходу T1 положення міток стало:

М1 (0 1 0 1 0 0 0 0 0)

Після виконання переходу T3 положення міток стало:

М2 (0 1 0 0 1 0 0 0 0)

Після виконання переходу T2 положення міток стало:

М3(0 0 1 0 1 0 0 0 0)

Після виконання переходу T4 положення міток стало:

М4 (0 0 0 0 0 1 1 0 0)

Після виконання переходу T6 положення міток стало:

М5 (0 0 0 0 0 1 0 0 1)

Після виконання переходу T5 положення міток стало:

М6 (0 0 0 0 0 0 0 1 1)

Після виконання переходу T7 положення міток стало:

М6 (0 0 0 0 0 1 0 0 1)

Після виконання переходу T8 положення міток стало:

М6 (1 0 0 0 0 0 0 0 0)

 

 

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

 


Поделиться с друзьями:

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