Seq2(1]Loop(2]l_s_A0, new, tau_A0[2), Xor2(2]x2_s_A0, tau_A1, And2(3]a2_s_A0, Xor2(4]x2_s_A1, tau_A2, Loop(5]l_s_A1, billed, tau_A3[5), x2_e_A1[4), Xor2(4]x2_s_A2, tau_A4, Seq2(5]And2(6]a2_s_A1, Xor2(7]x2_s_A3, tau_A5, Loop(8]l_s_A2, join_pat, tau_A6[8), x2_e_A3[7), Xor2(7]x2_s_A4, tau_A7, Seq2(8]Xor2(9]x2_s_A5, tau_A8, Seq2(10]Loop(11]l_s_A3, Xor3(12]x3_s_A6, Seq2(13]Xor2(14]x2_s_A7, tau_A9, set_status, x2_e_A7[14), Xor2(14]x2_s_A8, tau_A10, And2(15]a2_s_A2, Xor2(16]x2_s_A9, tau_A11, Loop(17]l_s_A4, code_error, tau_A12[17), x2_e_A9[16), Seq3(16]Xor2(17]x2_s_A10, tau_A13, Loop(18]l_s_A5, release, tau_A14[18), x2_e_A10[17), Xor2(17]x2_s_A11, tau_A15, Xor2(18]x2_s_A12, manual, code_ok, x2_e_A12[18), x2_e_A11[17), Xor2(17]x2_s_A13, tau_A16, And2(18]a2_s_A3, Xor2(19]x2_s_A14, tau_A17, Loop(20]l_s_A6, code_nok, tau_A18[20), x2_e_A14[19), Xor2(19]x2_s_A15, tau_A19, Seq2(20]Xor2(21]x2_s_A16, tau_A20, Loop(22]l_s_A7, Seq2(23]storno, Xor2(24]x2_s_A17, tau_A21, Loop(25]l_s_A8, reject, tau_A22[25), x2_e_A17[24)[23), tau_A23[22), x2_e_A16[21), Xor2(21]x2_s_A18, tau_A24, And2(22]a2_s_A4, Xor2(23]x2_s_A19, tau_A25, Loop(24]l_s_A9, reopen, tau_A26[24), x2_e_A19[23), Xor2(23]x2_s_A20, tau_A27, fin, x2_e_A20[23), a2_e_A4[22), x2_e_A18[21)[20), x2_e_A15[19), a2_e_A3[18), x2_e_A13[17)[16), a2_e_A2[15), x2_e_A8[14)[13), change_end, change_diagn, x3_e_A6[12), tau_A28[11), Xor2(11]x2_s_A21, tau_A29, empty, x2_e_A21[11)[10), x2_e_A5[9), Xor2(9]x2_s_A22, tau_A30, Loop(10]l_s_A10, delete, tau_A31[10), x2_e_A22[9)[8), x2_e_A4[7), a2_e_A1[6), Xor2(6]x2_s_A23, tau_A32, zdbc_behan, x2_e_A23[6)[5), x2_e_A2[4), a2_e_A0[3), x2_e_A0[2)[1)