What does pet-form mean in the etymology explanation of Joe.?

"Joseph" is the full, formal version of the name, and "Joe" is what your family and friends would call you - a pet name, or a diminutive. Like "Betty" for Elizabeth, or "Davey" for David.