se metti il codice php dopo il form puoi richiamare il javascript stampando il codice html corrispondente con echo:

Codice PHP:
echo "<script type='text/javascript'>\n";
echo 
"lanciaFunzione();";
echo 
"</script>"
o roba del genere