Gli stati rappresentano una situazione in cui permanere per un certo tempo in attesa che si verifichi un certo evento.
Ad esempio S0 è l'attesa della partenza del motore, S1 e S2 rappresentano motore in movimento in una delle sue direzioni.
S3 cosa dovrebbe rappresentare? E ci si si arriverebbe a causa di quale evento?
Se guardi lo pseudoschema del post #80, e l'esempio completo per lo stato S1 del post #82, si vede che quel controllo non è uno stato, ma un terzo evento rilevato all'interno degli stati S1 e S2 stessi, e che serve per abbandonarli tornando a S0.
Inoltre dal post #83 hai iniziato a controllare i finecorsa di arrivo errati.