标签： petri-net
在研究我在Monotonicity Lemma上遇到的一些petri网时说：
让M和L成为网的两个标记。 如果M-> M＆＃39;对于有限序列西格玛，则每个标记L的（M + L） - >（M＆＃39; + L）。 如果M->对于无限序列sigma，则（M + L） - >对于每个标记L.
让M和L成为网的两个标记。
如果M-> M＆＃39;对于有限序列西格玛，则每个标记L的（M + L） - >（M＆＃39; + L）。
如果M->对于无限序列sigma，则（M + L） - >对于每个标记L.
箭头的顶部是西格玛。
有没有人理解M + L在标记方面的含义？我应该将这些标记加在一起还是我将L添加到M的路径？