Transition eines Petrinetzes, die bei einer vorgegebenen Markierung schalten kann. Dazu müssen auf den Stellen im Vorbereich die zu entfernenden Marken vorhanden sein, und auf den Stellen im Nachbereich muß die Kapazität zur Aufnahme der zu erzeugenden Marken ausreichen.

Somit ist eine Transition genau dann aktiviert bei der Markierung m, wenn für alle s ∈ ^•t gilt: V(s, t) ≤ m(s), sowie \begin{eqnarray}m(s)-V(s,t)+V(t,s)\le K(s)\end{eqnarray}

für alle s ∈ t^•.