Hola:
Lamentablemente los navegadores no responden todos igual en iguales casos, y es que los tags button son algo distintos en algunos casos, porque recuerdo que en algunos casos si se define un name, el value asociado no siempre es lo que se envía sino el innerHTML (creo recordar)... más o menos como los textarea...
La verdad es que la semántica de algo "input", se supone que es "entrada" de datos, pero un "button", no debería tener la misma semántica. Tal vez no exista ningún problema se la entrada se hiciese con un control "input" (entrada)
Otra forma de solucionar el problema es usando como entrada una imagen, y aunque algunos navegadores no envían el value, si que se envía el nombre seguido de un punto y la x y la y de las coordenadas, y como php procesa esos valores cambiando el punto por un guión bajo (cuetiones de sintaxis), en php puede controlarse que existan esas variables:
if (isset($_POST["ver_x"]))...
if (isset($_POST["ejecutar_x"]))...
Saludos