Saved Bookmarks
| 1. |
With weights a transition "T' is said to be enabled under marking miff:A vte.p.M(p)>=w(p,t)OVtet. M(p)>=w(p,t)CV pep.M(t)>=w(pt)DVpet. M(p)>=w(p.t)Refresh |
| Answer» | |