2014-02-02
523
Маркировка сетей Петри
Маркировка 
есть присвоение фишек позициям сети Петри.
Фишка используется при выполнении сети.
Количество фишек в позиции может меняться.
Количество фишек в позиции 
есть 
.
Обозначение 
) = встречается чаще.
Для приведенной сети 
{1, 2, 0, 0, 1}.
