Add vectors while asserting underflow & capacity checks.

Guard attributes inhibit a transition.

Place elements contain tokens.

Position defines location of a Place or Transition element.

Role defines user permission.

Transition defines a token transfer action.

Node is an interstitial interface used when composing model elements.