Pos ya veis, por fin lo he conseguido, y no ha sido sencillo, nada sencillo. Me falta una cosa: separar la parte de alterna, ya que si no el opto a ver pa que sirve. Si quito el cable de masa que une ambas martes (abajo) aparece el siguente error:
Reading netlist...
Reading SPICE models...
Loaded SPICE model 'Q7008L5' from library 'TECCOR'
Building circuit...
Warning: Net #00000 has no DC path to ground.
Check pins: C2-1, R3-2, X135188E0#0-*, X13518580#1-*
Warning: Net #00011 has no DC path to ground.
Check pins: L1_AVS1-+, L1_VP1-+
Warning: Net #00016 has no DC path to ground.
y etc......
Conecto el cable (triac a masa) y todo perfecto. He leido mucho sobre proteus y este tipo de problemas en la simulacion y quiero una solución a este problema, ya que no la encuentro (aparte de la de eliminar la masa a la hora de pasarlo a ARES, noooooooo, eso noooooooo)...
PD: Por cierto, en Multisim es muuuuucho mas rápida la simulación y creo que más exacta, además es un programa muy potente. Lástima que no soporte micros, o al menos que no lo haga con la soltura, potencia y sencillez de Proteus. Si no ya habría cambiado de programa hace tiempo... Eso sí, no veo optoacopladores para triac por ninguna parte (MOCXXXX).