Transitions are very specific and concrete, and include source and destination.
Use this definition for dynamic partial-order reduction.
The definition of dependence relation.