Hi Michel, I am not entirely sure if there is a PETSc version, but there is a preconditioner called DS factorization (details in High-Performance Scientific Computing: Algorithms and Applications). It shares few properties of Euclid (like being quite scalable). If you have to use a factorization based preconditioner, you can try that.
I hope it helps, Best wishes, Abdullah Ali Sivas