Класифікація мереж Петрі

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

Марковані мережі (MG-мережі або marketgraph) − мережі, у яких кожна позиція має не більше одного входу і не більше одного виходу. За їх допомогою моделюють послідовно-паралельні процеси. MG-мережі називають також синхрографами. Перехід в синхрогрофі є потенційно живим, якщо він не входить в жодний порожній цикл (не містить жодної фішки). Синхрограф є живим, якщо кожен його цикл не порожній при початковій розмітці.

Рис. 5. Приклад маркованої мережі

Мережі вільного вибору (FC-мережі або freechoice) – мережі, у яких кожна дуга, що виходить з позиції, є абоєдиним виходом з неї, або єдиним входом в перехід. FC-мережі використовуються для опису процесів керування.

Прості мережі − (SN-мережі або Simplenets) − мережі, у яких кожен перехід може мати не більше ніж одну загальну позицію з іншими переходами.

Рис. 6. Приклад простої мережі

Ординарні мережі − (ON-мережі або Ordinarynets) − мережі, які не мають обмежень, окрім однієї − кратність дуг повинна бути не більшою за одиницю.

Кольорові мережі - (CPN- мережі або ColouredPetriNets) − мережі, у яких кожна мітка має свій певний колір і перехід, пов’язаний з деякою умовою, що визначає наявність пов’язаних з ним вхідних позицій міток певного кольору. Колір мітки прийнято позначати деякою буквою.

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

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

Не нашли, что искали? Воспользуйтесь поиском: