 The conditions C2 and C3 can also be further weakened from what they are in the ample set method, but the stubborn set method is compatible with C2 and C3.There are also other notations for partial order reduction.One of the commonly used is the persistent set/sleep set algorithm.