Что означает M+L в лемме о монотонности
Изучая немного сетей Петри, я столкнулся с леммой о монотонности, которая гласит:
Пусть M и L две маркировки сети.
Если M->M'для сигмы конечной последовательности, то (M+L)->(M'+L) для каждой маркировки L.
Если M-> для сигма бесконечной последовательности, то (M + L) -> для каждой маркировки L.
Вверху стрелок находится сигма.
Кто-нибудь понимает, что означает M + L с точки зрения маркировки? Должен ли я добавить эти маркировки вместе или это путь, где я добавлю L к M?