先に進まない

実家に帰っても、相変わらずStateMachineの実装に悩んでるわけですが。
ε遷移さえなければ、もっと簡単なんだけどなぁ。umlのスペックではrun-to-completionで簡単化してるのはいいんだけど、ε遷移については何も書いてないので、逆にどうしていいのか分からない。うーむ、ε遷移もrun-to-completionで処理できんのかね？