The trouble is the simulation tools are either proprietary and thus have only a small mind share among software developers, or academic, and either way, PLC pro

The trouble is the simulation tools are either proprietary and thus have only a small mind share among software developers, or academic, and either way, PLC programmers have not gone near them yet. But a decent LLM should be able to translate the description of a plant to a TLA+ model (or Alloy, or something similar.)