Seq2(1]Loop(2]l_s_0, new, tau_0[2), Xor2(2]x2_s_0, Seq2(3]Seq2(4]And2(5]a2_s_0, Loop(6]l_s_1, billed, tau_1[6), Seq2(6]Xor2(7]x2_s_1, Seq3(8]Xor2(9]x2_s_2, Seq2(10]Xor2(11]x2_s_3, tau_2, Xor3(12]x3_s_4, Seq2(13]Seq2(14]Xor2(15]x2_s_5, tau_3, Loop(16]l_s_2, code_error, tau_4[16), x2_e_5[15), And2(15]a2_s_1, Loop(16]l_s_3, storno, tau_5[16), And2(16]a2_s_2, Loop(17]l_s_4, code_nok, tau_6[17), Loop(17]l_s_5, reject, tau_7[17), a2_e_2[16), a2_e_1[15)[14), Xor2(14]x2_s_6, tau_8, Loop(15]l_s_6, reopen, tau_9[15), x2_e_6[14)[13), Loop(13]l_s_7, change_diagn, tau_10[13), Loop(13]l_s_8, change_end, tau_11[13), x3_e_4[12), x2_e_3[11), Loop(11]l_s_9, fin, tau_12[11)[10), Loop(10]l_s_10, manual, tau_13[10), x2_e_2[9), Loop(9]l_s_11, release, tau_14[9), Loop(9]l_s_12, code_ok, tau_15[9)[8), Loop(8]l_s_13, set_status, tau_16[8), x2_e_1[7), Xor2(7]x2_s_7, tau_17, zdbc_behan, x2_e_7[7)[6), a2_e_0[5), Xor2(5]x2_s_8, tau_18, empty, x2_e_8[5)[4), Xor2(4]x2_s_9, tau_19, Loop(5]l_s_14, delete, tau_20[5), x2_e_9[4)[3), Loop(3]l_s_15, join_pat, tau_21[3), x2_e_0[2)[1)