An update suggestion (don’t know if this is the appropriate place).
It occurs to me that the only thing missing from PLEG needed to use it as an FSM is a perstistent State variable. If a string variable was provided that initialised to ‘Reset’ and could be changed in an action, then it would simplify situations where the same set of inputs were expected to result in different actions depending on state.
I probably didn’t explain that well, but As PLTS is based on an FSM, I hope you know what I mean.
PLTS is a great tool, but a bit restrictive, PLEG is far more flexible, but adding a state register would simplify the conditional logic.