Seq2(1]Loop(2]l_s_0, new, tau_0[2), Xor2(2]x2_s_0, tau_1, And2(3]a2_s_0, Xor2(4]x2_s_1, tau_2, Loop(5]l_s_1, billed, tau_3[5), x2_e_1[4), Xor2(4]x2_s_2, tau_4, Seq2(5]And2(6]a2_s_1, Xor2(7]x2_s_3, tau_5, Loop(8]l_s_2, join_pat, tau_6[8), x2_e_3[7), Xor2(7]x2_s_4, tau_7, Seq2(8]Xor2(9]x2_s_5, tau_8, Seq2(10]Loop(11]l_s_3, Xor3(12]x3_s_6, Seq2(13]Xor2(14]x2_s_7, tau_9, set_status, x2_e_7[14), Xor2(14]x2_s_8, tau_10, And2(15]a2_s_2, Xor2(16]x2_s_9, tau_11, Loop(17]l_s_4, code_error, tau_12[17), x2_e_9[16), Seq3(16]Xor2(17]x2_s_10, tau_13, Loop(18]l_s_5, release, tau_14[18), x2_e_10[17), Xor2(17]x2_s_11, tau_15, Xor2(18]x2_s_12, manual, code_ok, x2_e_12[18), x2_e_11[17), Xor2(17]x2_s_13, tau_16, And2(18]a2_s_3, Xor2(19]x2_s_14, tau_17, Loop(20]l_s_6, code_nok, tau_18[20), x2_e_14[19), Xor2(19]x2_s_15, tau_19, Seq2(20]Xor2(21]x2_s_16, tau_20, Loop(22]l_s_7, Seq2(23]storno, Xor2(24]x2_s_17, tau_21, Loop(25]l_s_8, reject, tau_22[25), x2_e_17[24)[23), tau_23[22), x2_e_16[21), Xor2(21]x2_s_18, tau_24, And2(22]a2_s_4, Xor2(23]x2_s_19, tau_25, Loop(24]l_s_9, reopen, tau_26[24), x2_e_19[23), Xor2(23]x2_s_20, tau_27, fin, x2_e_20[23), a2_e_4[22), x2_e_18[21)[20), x2_e_15[19), a2_e_3[18), x2_e_13[17)[16), a2_e_2[15), x2_e_8[14)[13), change_end, change_diagn, x3_e_6[12), tau_28[11), Xor2(11]x2_s_21, tau_29, empty, x2_e_21[11)[10), x2_e_5[9), Xor2(9]x2_s_22, tau_30, Loop(10]l_s_10, delete, tau_31[10), x2_e_22[9)[8), x2_e_4[7), a2_e_1[6), Xor2(6]x2_s_23, tau_32, zdbc_behan, x2_e_23[6)[5), x2_e_2[4), a2_e_0[3), x2_e_0[2)[1)