Selmo is not a tool, but a method.
The crucial difference from classical PLC programming is that the sequence of a machine is not first conceived in the code, but already in the analysis – in three successive steps: process, technology, Function.
PTF is thus the bridge between reality and model.
It ensures that the logical structure of a machine is always derived from the real behavior – not the other way around.