Lo mas sencillo sería así:
Código PHP:
$variable = $_GET['variable'];
if $variable == "valor1"
$valor1="hover";
else if $variable == "valor2"
$valor2="hover";
etc etc etc
<li><a href="maquina_1?variable=valor1" class="<?= $valor1 ?>">maquina_1</a></li>
<li><a href="maquina_2?variable=valor2" class="<?= $valor2 ?>">maquina_2</a></li>
<li><a href="maquina_3?variable=valor3" class="<?= $valor3 ?>">maquina_3</a></li>
<li><a href="maquina_4?variable=valor4" class="<?= $valor4 ?>">maquina_4</a></li>