Selmo Studio is not a programming tool in the classical sense, but a modeling and validation system.
The user describes the process in states and zones, not in code.
The Studio translates this into a fully functioning PLC program β including safety, diagnostics and HMI.
This closes the loop of the PTF principle:
The process is understood, the technology is verified, the function is defined β and Selmo turns this into a logical, deterministic machine model.
The next chapter 6 describes, how Selmo structurally ensures safety, traceability and documentation, and why this architecture is not only functional but also normatively the logical next step in mechanical engineering.