Transitions are very specific and concrete, and include source and destination.

Use this definition for dynamic partial-order reduction.

The definition of dependence relation.