Definition
States that communicate form a class.
Interpretation
Classes are equivalence classes under the communication relation. Two states in the same class can reach each other; states in different classes cannot.
Properties
Classes are either:
- Identical (same class), or
- Disjoint (no overlap)