There are many SNES Examples using PetscFE, such ex12, ex17, and ex62.
The PetscFE class encapsulates a finite element discretization. Each PetscFE object contains a PetscSpace, PetscDualSpace, and DMPlex in the classic Ciarlet triple representation.