• States (system description ):

1. In the ICO -- the distribution and the value of the token (called the marking). Petri nets allow implicit description of the states of a system, avoiding enumerating states.

 
2. In the Case Study (refer to figure 12, 13)

• Presentation -- states its external look, a structured set of widgets organized in a set of windows.