В чем разница между маркировкой и разметкой в сетях Петри?

Маркировка и разметка в сетях Петри — это разные понятия. studizba.com

Маркировка — это текущее состояние системы, расположение меток (токенов) в местах сети. web.archive.org Когда происходит изменение (срабатывает переход), количество токенов меняется: в одних местах становится меньше токенов, а в других — больше. cs.stackexchange.com

Разметка — это список, в котором для каждого места указано, сколько токенов находится в этом месте. cs.stackexchange.com При графическом задании сети Петри разметка отображается помещением внутри вершин позиций соответствующего числа точек (когда количество точек велико, ставят цифры). studizba.com

Таким образом, разница в том, что маркировка описывает текущее состояние системы, а разметка — это список, указывающий, сколько токенов находится в каждом месте в определённый момент времени.