Hi [snip]

I started to suspect that the statechart library does not support the nesting of states in an asynchronous state machine. Am I right or am I missing something?

Probably the latter: Asynchronous state machines should be able to deal with nested states just like synchronous ones. Please post a small but complete program that demonstrates the issue. Thanks & Regards, -- Andreas Huber When replying by private email, please remove the words spam and trap from the address shown in the header.