ArgoUML+ArchGenXMLで気をつけること．

ArgoUMLは，Initial Stateから出て行く遷移（OutGoing）は許可されているが，入ってくる遷移（InComing）を許可していない（UMLの仕様だとか）．

同様にFinal Stateもそこから出て行くことができないので，
Initial State（黒丸）とFinal State(丸の中に黒丸)は使っちゃだめ．

よって，全部 Simple Stateにして，Tagged Valuesに，
initial_state という属性を作って"1"を設定する．