Титул
Введение
Сеть Петри
Маркированная сеть Петри
Переходы
Пример(1)
Пример(2)
Заключение
Маркированная сеть Петри
Само по себе понятие сети имеет статическую природу. Для задания динамических характеристик используется понятие маркировки сети, т.е. функции, сопоставляющей каждому месту целое число. Графически маркировка изображается в виде точек, называемых метками (tokens), и располагающихся в кружках, соответствующих местам сети. Отсутствие меток в некотором месте говорит о нулевой маркировке этого места.
Пример маркированной сети Петри:
Петрозаводск - 2005