Class PBES2Algorithms