Simulador gratuito de lógica cableada y PLC (ladder + HMI): Verifica Automatismos

[verifica]

Hola a todos. Comparto un simulador de lógica cableada y PLC que vengo desarrollando como proyecto personal, gratuito y sin fines comerciales, para pedirles opinión técnica a quienes trabajan con tableros y automatismos.
La idea es practicar comando y potencia como en el tablero de la escuela o la facultad, y en la última versión le sumé PLC, programación ladder y pantalla HMI dentro del mismo esquema, que es la parte donde más me sirve la crítica.
PLC y ladder

• La CPU y los bloques de entradas y salidas de modelos reales (Modicon M221, SIMATIC S7-1200, LOGO!, Micro830, Delta, FX5U, CP2E) se cablean en el esquema con sus comunes, direcciones IEC 61131-3 y fuente para sensores según el manual de cada uno.
• El programa se escribe en ladder: contactos NA y NC, flancos P y N, bobinas, Set/Reset, temporizadores TON, TOF y TP y contadores CU y CD.
• Corre con un ciclo de scan, mostrando el valor de cada dirección en vivo mientras se simula.

HMI vinculada al PLC

• Las pantallas se diseñan con botones, indicadores, valores numéricos y barras vinculados a las marcas del PLC, y se operan tocándolas en el sinóptico del tablero.
• En el esquema la HMI lleva su alimentación de 24 V cc, la tierra funcional y el cable de comunicación (Ethernet o RS-485): sin tensión, con la polaridad invertida o sin cable, la pantalla lo muestra.

Lógica cableada

• Esquemas en hojas (comando y potencia) con símbolos IEC 60617 y referencias cruzadas de contactos.
• La simulación resuelve el potencial de cada conductor: se ve qué bobinas se energizan, qué contactos conmutan, motores (giro, estrella-triángulo, falta de fase) y protecciones.
• Fallas provocadas (sobrecarga, rotor bloqueado, cortocircuito, falla a tierra) para ver qué protección actúa y la selectividad entre ellas.

Trae 28 ejemplos explicados, cinco con PLC (marcha-parada con Set/Reset, estrella-triángulo, semáforo, alternancia de dos bombas y conteo de piezas con HMI). Exporta a DXF con marcado de conductores IEC 62491 y tabla de conexiones. Funciona en el navegador o descargado en Windows, sin cuenta, sin publicidad y sin recolección de datos:
Verifica Automatismos · Simulador de lógica cableada
Me interesa sobre todo:

1. Si encuentran algún comportamiento que no coincida con un tablero o un PLC real (comunes, polaridad de entradas, tiempos del scan, enclavamientos).
2. Qué instrucciones de ladder o qué modelos de PLC les parecen imprescindibles para practicar.
3. Qué circuitos usarían para enseñar y no están en los ejemplos.

Está en beta, así que cualquier error que encuentren me ayuda. Gracias.