 In explicit state space exploration, partial order reduction usually refers to the specific technique of expanding a representative subset of all enabled transitions.This technique has also been described as model checking with representatives .There are various versions of the method, the so-called stubborn set method , ample set method , and persistent set method .