Hi Christophe
I am not sure what is the point of such a challenge considering that I already explained that entry and exit pseudo states are not supported yet but will probably be in the future.
To me, it wasn't all that clear whether you are committed to provide such states, but I guess I've misinterpreted things.
Their absence is not by design as you seem to think but simply a decision of when to bring a version 1.0 and what should be inside.
Excellent, that's good to hear!
Anyway, as you offered me this challenge, I offer a solution which you will find in the vault ( http://www.boostpro.com/vault/index.php?direction=0&order=&directory=Msm&). I think this solution is a good example of what you can do with Msm and will hopefully make it clear how sub machines can make life easier.
I guess we agree that, strictly speaking, the challenge remains unsolved (your FSM has a different observable behavior). However, I do agree that using orthogonal regions for the alarms is superior to Harel's original. Anyway, I'll shut up now, as entry & exit points will definitely address my current concerns :-). Kudos, -- Andreas Huber When replying by private email, please remove the words spam and trap from the address shown in the header.