Sobre Petrel/Petrer, creo que las dos referencias utilizadas hasta ahora, aunque pueden no ser las mejores, son perfectamente válidas, pero si precisas de otras fuentes que nos digan de forma explícita que Petrel es castellano y Petrer valenciano y que además sean fiables, tengan un contexto lingüístico y que sean accesibles en internet, te diré que no hay muchas, pero haberlas haylas. ¿Qué te parece <url> editada por la Universidad de Oviedo?