> В одному з підходів до проектування та аналізу систем мережі Петрі використовуються, як допоміжний інструмент аналізу. Тут для побудови системи використовуються загальноприйняті методи проектування. Потім побудована система моделюється мережею Петрі, і модель аналізується. Якщо в ході аналізу в проекті знайдені вади, то з метою їх усунення проект модифікується. Модифікований проект потім знову моделюється і аналізується. Цей цикл повторюється до тих пір, поки проводиться аналіз не призведе до успіху. p align="justify"> Інший підхід передбачає побудову проекту відразу у вигляді мережі Петрі. Методи аналізу застосовуються тільки для створення проекту, що не містить помилок. Потім мережа Петрі перетворюється на реальну робочу систему. p align="justify"> У першому випадку необхідна розробка методів моделювання систем мережами Петрі, а в другому випадку повинні бути розроблені методи реалізації мереж Петрі системами.
Основні визначення
Теоретико-множинне визначення мереж Петрі
Нехай мультімножество це множест во, що допускає входження декількох екземплярів одного і того ж елемента.
Мережа Петрі N є четвіркою N = (P, Т, I, O), де = {p1, p2, ..., pn} - кінцеве безліч позицій, n Ві 0; = {t1, t2, ..., tm} - кінцеве безліч переходів, m Ві 0;: T В® P * - вхідна функція, що зіставляє переходу мультімножество його вхідних позицій;
О: T В® P * - вихідна функція, що зіставляє переходу мультімножество його вихідних позицій.
Позиція p ГЋ P називається входом для переходу t ГЋ T, якщо p ГЋ I (t). Позиція p ГЋ P називається виходом для переходу t ГЋ T, якщо p ГЋ O (t). Структура мережі Петрі визначається її позиціями, переходами, вхідний і вихідний функціями.
Графи мереж Петрі
В
Найбільш наочним уявленням мережі Петрі є її графічне представлення, яке являє собою двочастковий, орієнтований мультіграф.
Граф мережі Петрі володіє двома типами вузлів: гурток m, що представляє позицію мережі Петрі; і планка Вѕ, що представляє перехід мережі Петрі. Орієнтовані дуги цього графа (стрілки) з'єднують перехід з його вхідними і вихідними позиціями. При цьому дуги спрямовані від вхідних позицій до переходу і від переходу ...
