Приклад 3.2

Покажемо, як за допомогою мереж Петрі можна описати роботу світлофора, що керує дорожнім рухом. Модель світлофора можна використовувати для моделювання систем керування рухом транспорту. Ця модель має відтворювати зміну станів світлофора: зелене світло, жовте світло, червоне світло і червоно-жовте світло. Для формалізації модельованої системи скористаємося простою мережею Петрі, вузли якої будуть визначати стани світлофора, а положення чорного маркера — поточний його стан (рис. 3.10).

Рис. 3.10. Модель функціонування світлофора

На рис. 3.10 зображено модель роботи світлофора, стан якої відповідає ситуації, коли горить зелене світло (цей стан позначено маркером). Динаміку роботи світлофора, тобто зміну його світла і відповідно положення маркера в мережі Петрі, можна відтворити за допомогою переходів, для яких мають виконуватись правила збудження та спрацьовування. У мережі на рис. 3.10 збудженим є тільки перехід, який відповідає зміні зеленого світла на жовте. У разі спрацювання переходу маркер із зеленого вузла переміщується в жовтий. Зміна положення маркера приводить до нового стану моделі, що відповідає ситуації, коли горить жовте світло. Із цього стану можливий перехід тільки до стану, який відповідає ситуації, коли горить червоне світло. Таким чином, ця модель описує всі стани світлофора, які змінюються в певній послідовності.

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

Поточний стан моделі (рис. 3.11) позначається тільки одним маркером (слід звернути увагу, що в мережі Петрі для позначення стану моделі світлофора, в якому одночасно горить червоне і жовте світло, використовувалось два маркери). Множину можливих станів такої моделі можна розширити, наприклад ввести стан світлофора, коли горить зелене і жовте світло. Кількість необхідних маркерів моделі в цьому разі не зміниться, але модель стане більш складною — з'являться ще один вузол і перехід. Таким чином, виникають запитання: чи потрібно всі стани моделі відображати окремими вузлами; чи можна позначати поточний стан моделі за допомогою маркерів різного кольору, як це зроблено на рис. 3.12. Таким чином, можна перейти ще до одного підходу до формалізації моделі світлофора.

Рис. 3.11. Модель функціонування світлофора у вигляді скінченного автомата

Рис. 3.12. Модель із загальним станом світлофора «горить якесь світло»

Такий підхід передбачає, що стани світлофора в мережі Петрі, які зображувались раніше кількома різними вузлами, зображуються лише одним вузлом, в якому знаходиться маркер відповідного кольору (зелений, жовтий, червоний і червоно-жовтий). На рис. 3.12 зображено мережу Петрі, поточний стан якої визначає зелений маркер, що знаходиться в її вузлі. Стан мережі змінюється тільки після спрацювання переходу від зеленого світла до жовтого. Для збудження цього переходу повинні виконуватись обидві умови збудження переходу:

v у вхідному вузлі має знаходитись зелений маркер (значення виразу дуги, спрямованої від вузла стану світлофора до переходу від зеленого до жовтого світла, графічно зображується зеленим маркером);

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

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

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

Дата добавления: 2014-01-05