Net 1 of 11
Petri-Sim
- Step
- 0
- Tokens
- 0
- Enabled
- 0
Firing check
State
- Marking
- Enabled
- Next step
- Sequence
Firing rule
-
Rule 1
M(e) ≥ W(e, t)for every input place e -
Rule 2
M(a) − W(a, t) + W(t, a) ≤ K(a)for every output place a, counted after firing -
Firing
M′(p) = M(p) − W(p, t) + W(t, p)for every place p
No K written means K = ∞. No number on an arrow means weight 1.
Notation
- Stelleplace: a state
- Marken2 tokens in a place
- Kapazitätat most 2 tokens
- Transitiongreen: can fire
- Transitiongray: cannot fire
- Pfeilarrow, weight 2
- Unterwegstoken on its way