Participants understand why Selmo offers a new perspective on machine control
and how it differs from classic PLC programming.
Explanation
Traditional PLC programming is event-based:
Inputs are read, outputs are set.
The developer describes commands, not behavior.
Selmo, by contrast, describes states and their transitions.
The machine thinks:
"I am in the state Waiting for start button" instead of:
"If button = TRUE, then valve = 1."
This makes the sequence predictable, safe, and verifiable.
Task
Note five typical problems of classic PLC programs (e.g., unclear states, race conditions).
Consider how a state model solves these problems.
Formulate a simple task as a SEQ in words (e.g., "Door open → Cylinder extends → Calculation runs → Door closed").
