First revision of the initial submission. 1-Complete semantics for deferred events. 2-Improved analysis of state-machine configuration. 3-Combine transition selection strategy and state-machine event accepter.
First revision of the initial submission. 1-Complete semantics for deferred events. 2-Improved analysis of state-machine configuration. 3-Combine transition selection strategy and state-machine event accepter.