==And== ==Seq== sample defaultState Visible ==States== defaultState Atomic 57 61 158 103 anotherState Atomic 345 61 447 103 thirdState Atomic 190 203 292 245 ==Transitions== defaultState anotherState trigger/output 1 RightofLn thirdState thirdState notrigger/nooutput 10111 LeftofLp anotherState thirdState triggertwo/outputtwo 1 RightofLn ==LocalVariables== ==EOCSeq== ======= ==Dec== ==Seq== composition compDefaultState Visible ==States== compDefaultState Atomic 53 285 174 327 decomposedState Decomposed 294 286 419 330 ==Transitions== ==LocalVariables== ==EOCSeq== ==by== decomposedState ==Seq== decomposedState decChartDefault Invisible ==States== decChartDefault Atomic 122 130 236 172 ==Transitions== ==LocalVariables== ==EOCSeq== ==EOCDec== ==EOCAnd==