petri-net - 单调性引理中的 M+L 是什么意思

Question

在研究我在单调性引理上遇到的一些 petri 网时，它说：

设 M 和 L 是网络的两个标记。

如果 M->M' 对于有限序列 sigma，则 (M+L)->(M'+L) 对于每个标记 L。

如果M->对于一个无限序列sigma，那么(M+L)->对于每个标记L。

箭头顶部是 sigma。

有谁明白 M+L 在标记方面的含义吗？我应该将这些标记加在一起还是将 L 添加到 M 的路径？