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

Роботу мережі Петрі можна представити як сукупність спрацьовувань переходів. Перехід може спрацювати, якщо виконані всі умови реалізації відповідної події. Виконання умови в мережах Петрі відображається розміткою відповідного місця (позиції), тобто розміщенням у ньому одного чи декількох маркерів (фішок) відповідно до умови. У графічному представленні маркер позначається крапкою у середині відповідного місця. Так, якщо в місце р1 мережі, зображеної на рис. 3 помістити маркер, то це буде означати, що умова здійснення події t має місце (виконана) і подія може відбутися (рис.4,а).

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

Рис. 4. Спрацьовування переходу в елементарній мережі

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

Маркування мережі Петрі на рис. 4, а можна записати: m = (1, 0), а на рис. 4, б – m = (0, 1).

Маркування М, можна також визначити як n – вектор (вектор Париха) M = {m(p1), m(p2), …, m(pn) }, де n – число позицій у мережі Петрі і для кожного i (0 < i ≤ n), m(p_i) – кількість фішок у позиції p_i.

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