From: David Greene (greened_at_[hidden])
Date: 2006-02-24 10:26:41
Andreas Huber wrote:
> Your machine has two outermost states, e.g. Normal and
> UnconsumedEventError and a transition triggered by EvUnconsumedEvent
> leading from Normal to UnconsumedEventError. Of course, Normal would
> then contain all the states you have now.
Ok, that should work. Thanks! I'm still learning this (to me)
strange concept of nested states.
-Dave