PN: Change of States (1)
- is denoted by a movement of token(s) (black dots) from place(s) to place(s); and is caused by the firing of a transition.
- The firing represents an occurrence of the event or an action taken.
- The firing is subject to the input conditions, denoted by token availability.