PN: Formal Definition (cont’d)
IN are input functions defining directed arcs from
OUT are output functions defining directed arcs
from transitions to places
S is a set of all nonnegative integers k such that:
- If k = 1 a directed arc is drawn without a label
- If k > 1 a directed arc is drawn with label k.
- If k = 0 no arc is drawn.