Структура мережі Петрі

Мережа Петрі є дводольним орієнтованим графом, у якому існують вершини двох типів: вершини одного типу називаються місцями (позиціями), а вершини іншого типу – переходами.

Елементарна мережа Петрі зображена на рис.1, де р1 та р2 – позиції, а t – перехід.

Рис. 1. Елементарна мережа Петрі

У графічному представленні мереж Петрі переходи зображуються "бар'єрами", а позиції – кружечками. Позиції і переходи зв'язані відношенням безпосередньої залежності, що зображується за допомогою направлених дуг, що ведуть з позицій у переходи чи з переходів у позиції. Позиції, з яких виходять дуги, спрямовані до деякого переходу, називаються його вхідними позиціями. Позиції, у які входять дуги, що виходять з деякого переходу, називаються його вихідними позиціями. Так, в елементарній мережі Петрі на рис. 1 позиція p1 є вхідною для переходу t, а позиція p2 - вихідною.

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

Рис. 2. Приклади правильного з’єднання вершин мережі Петрі

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