Seq2(1]Loop(2]l_s_B0, new, tau_B0[2), Xor2(2]x2_s_B0, Seq2(3]Seq2(4]And2(5]a2_s_B0, Loop(6]l_s_B1, billed, tau_B1[6), Seq2(6]Xor2(7]x2_s_B1, Seq3(8]Xor2(9]x2_s_B2, Seq2(10]Xor2(11]x2_s_B3, tau_B2, Xor3(12]x3_s_B4, Seq2(13]Seq2(14]Xor2(15]x2_s_B5, tau_B3, Loop(16]l_s_B2, code_error, tau_B4[16), x2_e_B5[15), And2(15]a2_s_B1, Loop(16]l_s_B3, storno, tau_B5[16), And2(16]a2_s_B2, Loop(17]l_s_B4, code_nok, tau_B6[17), Loop(17]l_s_B5, reject, tau_B7[17), a2_e_B2[16), a2_e_B1[15)[14), Xor2(14]x2_s_B6, tau_B8, Loop(15]l_s_B6, reopen, tau_B9[15), x2_e_B6[14)[13), Loop(13]l_s_B7, change_diagn, tau_B10[13), Loop(13]l_s_B8, change_end, tau_B11[13), x3_e_B4[12), x2_e_B3[11), Loop(11]l_s_B9, fin, tau_B12[11)[10), Loop(10]l_s_B10, manual, tau_B13[10), x2_e_B2[9), Loop(9]l_s_B11, release, tau_B14[9), Loop(9]l_s_B12, code_ok, tau_B15[9)[8), Loop(8]l_s_B13, set_status, tau_B16[8), x2_e_B1[7), Xor2(7]x2_s_B7, tau_B17, zdbc_behan, x2_e_B7[7)[6), a2_e_B0[5), Xor2(5]x2_s_B8, tau_B18, empty, x2_e_B8[5)[4), Xor2(4]x2_s_B9, tau_B19, Loop(5]l_s_B14, delete, tau_B20[5), x2_e_B9[4)[3), Loop(3]l_s_B15, join_pat, tau_B21[3), x2_e_B0[2)[1)