Нужна помощь в понимании инвариантов места, используемых в сетях с места-переходами

Question

Предположим, что я знаю маркировку данной сетки перехода места.

Как определить, какая маркировка является инвариантом места? Я также знаю начальную маркировку. Я буду признателен за очень простое объяснение.

Я читал стр. 17 из this paper, где описывается формула для поиска инвариантов места, но я не понимаю ее полностью.

Пожалуйста, не просто скажите мне, что такое инварианты места. Объясните мне, как я могу найти их, чтобы я всегда мог делать это в будущем.

Первоначальная маркировка для множества мест (U, V, W, X, Y, Z):

• (0,1,1,1,0,0)

Другие маркировки:

1. (0,1,0,0,1,0)
2. (0,1,0,1,0,1)
3. (1,0,0,1, 0,0)

Answer 1

позже я узнал, что если множество мест (U, V, W, X, Y, Z), то место инварианты являются множества, для которых сумма лексем остается одинаковой для каждый маркировки ,

Таким образом, множества точек, которые образуют место инварианты являются:

1. (U, V) - сумма жетонов равно 1 для каждой маркировки.
2. (U, W, Y, Z) - сумма равна 1.
3. (U, V, X, Y) - сумма 2.
4. (X, Y) - сумма 1.