"industriverksted" er et 16-bokstavers substantiv som brukes som synonym for "Værksted". Værksted betyr: Et større produksjons- eller reparasjonssted.