You could have a look at POE which describes itself as "event driven state machines". This may be a little too generalised for you requirements however. It is intended for larger scale state machine applications such as servers or event driven interfaces.

Anyone who is interested in finding out about POE should look at this introduction.

John.
--
<br