単調性補題で遭遇したペトリネットを少し調べているときに、次のように述べています。
M と L をネットの 2 つのマーキングとします。
有限数列シグマに対して M->M' の場合、すべてのマーキング L に対して (M+L)->(M'+L) です。
M-> 無限数列シグマの場合、(M+L)-> すべてのマーキング L について
矢印の上部はシグマです。
マーキングに関してM + Lの意味を理解している人はいますか? それらのマーキングを一緒に追加する必要がありますか、それとも M に L を追加するパスですか?