#3 Su nombre histórico desde la edad media era Petrer, que hace referencia a pedrera o pedregal. Lo de Petrel fue un mal intento de traducción al castellano por las políticas de castellanización forzada que sufrió todo el País Valencià, ya que esa palabra impuesta no se refiere a las piedras, sino a un ave. Desde los años ochenta, el único topónimo oficial del pueblo es Petrer.