Модификатор меток

Метка на соединении с ресурсами определяет, сколько ресурсов может перемещаться через это соединение за временной шаг.

Про метки:

Модификаторы меток соединяют исходный механизм с целевой меткой (L) соединения с ресурсами (или с соединением состояний) и указывают, как изменения состояния в исходном механизме (∆S) изменяют текущее значение целевой метки в текущем шаг по времени (Lt), как указано собственной меткой соединения состояний (M).

Новое значение вступает в силу на следующем шаге по времени (Lt + 1). Сумма изменения в исходном узле умножается на собственную метку модификатора метки.

Формула приведена ниже.

$$Lt+1=Lt+M×∆S$$

🔧 Разберем пример ниже. У вас есть модификатор метки (M), который имеет значение +3, а исходный узел (хранилище ∆S) получает 2 (значение, с которой соединение с ресурсами передает ресурсы из источника A в ∆S). Целевая метка (L) увеличилась на 6 на текущем временном шаге (Lt): она добавлялась к L 3 дважды, один раз для каждого изменения в исходном механизме. Таким образом, в Lt + 1 соединение с ресурсами, соответствующее L, передаст 7 (6 + 1) ресурсов в хранилище C.

Если метка является целью нескольких модификаторов метки, вам потребуется взять сумму всех изменений, чтобы найти новое значение:

$$Lt+1=Lt+∑(M×∆S)$$

Метка модификатор меток всегда начинается с символа + или -