se i pulsanti hanno un "name" diverso dovresti vedere la variabile relativa nel POST

Quindi puoi usare

isset($_POST["invia"])

oppure

isset($_POST["annulla"])

per capire quale tasto e' stato premuto.