• A transition features an action part.

• Fireable if and only if:

a. Each of its input places carries at least one token.
b. If the transition features a precondition; there are tokens in the input places for which the preconditions holds.

• After a transition:

a. One token from each of its input places is removed.
b. One token is set in each of its output places.