State:
( request_th_2.request_mid0 request_main_99.request_main_99_disabled req_type_th_11.req_type_th_11_disabled req_type_main_14.req_type_disabled req_info_th_17.req_info_th_17_disabled req_info_main_66.req_info_disabled resp_th_69.resp_th_69_disabled resp_main_98.resp_main_98_disabled resp1_th_76.resp1_th_76_disabled resp1_main_85.resp1_disabled credit_main_84.credit_disabled resp2_th_88.resp2_th_88_disabled resp2_main_97.resp2_disabled credit_main_96.credit_disabled cust_auth_th_102.cust_auth_mid0 cust_auth_main_105.cust_auth_disabled req_refuse_th_108.req_refuse_start req_refuse_main_111.req_refuse_disabled chooseSLA_th_114.chooseSLA_mid0 chooseSLA_main_119.chooseSLA_disabled reach_th_122.reach_mid0 reach_main_125.reach_disabled do_customer_standard_support._id119 do_customer_service_type._id120 do_customer_contact_details._id121 do_customer_problem_description._id122 do_customer_prove_authorisation._id123 do_company_refuse_request._id124 do_customer_basic._id125 do_customer_bronze._id126 do_company_respond._id127 do_company_give_credit._id128 do_customer_be_reachable._id129 )
Clocks[0]=0 Clocks[1]=0 Clocks[2]=0 Clocks[3]=0 Clocks[4]=0 Clocks[5]=0 Clocks[6]=0 Clocks[7]=0 Clocks[8]=0 Clocks[9]=0 Clocks[10]=0 Clocks[11]=0 Clocks[12]=0 Clocks[13]=0 Clocks[14]=0 Clocks[15]=0 Clocks[16]=0 Clocks[17]=0 Clocks[18]=0 Clocks[19]=0 Clocks[20]=0 Clocks[21]=0 Clocks[22]=0 Clocks[23]=0 Clocks[24]=0 Clocks[25]=0 Clocks[26]=0 t0=0 Sat[0]=0 Sat[1]=0 Sat[2]=0 Sat[3]=0 Sat[4]=0 Sat[5]=0 Sat[6]=0 Sat[7]=0 Sat[8]=0 Sat[9]=0 Sat[10]=0 Sat[11]=0 Sat[12]=0 Sat[13]=0 Sat[14]=0 Sat[15]=0 Sat[16]=0 Sat[17]=0 Sat[18]=0 Sat[19]=0 Sat[20]=0 Sat[21]=0 Sat[22]=0 Sat[23]=0 Sat[24]=0 Sat[25]=0 Sat[26]=0 Vio[0]=0 Vio[1]=0 Vio[2]=0 Vio[3]=0 Vio[4]=0 Vio[5]=0 Vio[6]=0 Vio[7]=0 Vio[8]=0 Vio[9]=0 Vio[10]=0 Vio[11]=0 Vio[12]=0 Vio[13]=0 Vio[14]=0 Vio[15]=0 Vio[16]=0 Vio[17]=0 Vio[18]=0 Vio[19]=0 Vio[20]=0 Vio[21]=0 Vio[22]=0 Vio[23]=0 Vio[24]=0 Vio[25]=0 Vio[26]=0 Done[0]=0 Done[1]=0 Done[2]=0 Done[3]=0 Done[4]=0 Done[5]=0 Done[6]=0 Done[7]=0 Done[8]=0 Done[9]=0 Done[10]=0 Done[11]=0 Done[12]=0 Done[13]=0 Done[14]=0 Done[15]=0 Done[16]=0 Done[17]=0 Done[18]=0 Done[19]=0 Done[20]=0 Done[21]=0 Done[22]=0 Done[23]=0 Done[24]=0 Done[25]=0 Done[26]=0 Skip[0]=0 Skip[1]=0 Skip[2]=0 Skip[3]=0 Skip[4]=0 Skip[5]=0 Skip[6]=0 Skip[7]=0 Skip[8]=0 Skip[9]=0 Skip[10]=0 Skip[11]=0 Skip[12]=0 Skip[13]=0 Skip[14]=0 Skip[15]=0 Skip[16]=0 Skip[17]=0 Skip[18]=0 Skip[19]=0 Skip[20]=0 Skip[21]=0 Skip[22]=0 Skip[23]=0 Skip[24]=0 Skip[25]=0 Skip[26]=0 #depth=0

Transitions:
  request_th_2.request_mid0->request_th_2.request_mid { 1, request_enable_0!, 1 }
  request_main_99.request_main_99_disabled->request_main_99.request_Seq_enabled { 1, request_enable_0?, 1 }

State:
( request_th_2.request_mid request_main_99.request_Seq_enabled req_type_th_11.req_type_th_11_disabled req_type_main_14.req_type_disabled req_info_th_17.req_info_th_17_disabled req_info_main_66.req_info_disabled resp_th_69.resp_th_69_disabled resp_main_98.resp_main_98_disabled resp1_th_76.resp1_th_76_disabled resp1_main_85.resp1_disabled credit_main_84.credit_disabled resp2_th_88.resp2_th_88_disabled resp2_main_97.resp2_disabled credit_main_96.credit_disabled cust_auth_th_102.cust_auth_mid0 cust_auth_main_105.cust_auth_disabled req_refuse_th_108.req_refuse_start req_refuse_main_111.req_refuse_disabled chooseSLA_th_114.chooseSLA_mid0 chooseSLA_main_119.chooseSLA_disabled reach_th_122.reach_mid0 reach_main_125.reach_disabled do_customer_standard_support._id119 do_customer_service_type._id120 do_customer_contact_details._id121 do_customer_problem_description._id122 do_customer_prove_authorisation._id123 do_company_refuse_request._id124 do_customer_basic._id125 do_customer_bronze._id126 do_company_respond._id127 do_company_give_credit._id128 do_customer_be_reachable._id129 )
Clocks[0]=0 Clocks[1]=0 Clocks[2]=0 Clocks[3]=0 Clocks[4]=0 Clocks[5]=0 Clocks[6]=0 Clocks[7]=0 Clocks[8]=0 Clocks[9]=0 Clocks[10]=0 Clocks[11]=0 Clocks[12]=0 Clocks[13]=0 Clocks[14]=0 Clocks[15]=0 Clocks[16]=0 Clocks[17]=0 Clocks[18]=0 Clocks[19]=0 Clocks[20]=0 Clocks[21]=0 Clocks[22]=0 Clocks[23]=0 Clocks[24]=0 Clocks[25]=0 Clocks[26]=0 t0=0 Sat[0]=0 Sat[1]=0 Sat[2]=0 Sat[3]=0 Sat[4]=0 Sat[5]=0 Sat[6]=0 Sat[7]=0 Sat[8]=0 Sat[9]=0 Sat[10]=0 Sat[11]=0 Sat[12]=0 Sat[13]=0 Sat[14]=0 Sat[15]=0 Sat[16]=0 Sat[17]=0 Sat[18]=0 Sat[19]=0 Sat[20]=0 Sat[21]=0 Sat[22]=0 Sat[23]=0 Sat[24]=0 Sat[25]=0 Sat[26]=0 Vio[0]=0 Vio[1]=0 Vio[2]=0 Vio[3]=0 Vio[4]=0 Vio[5]=0 Vio[6]=0 Vio[7]=0 Vio[8]=0 Vio[9]=0 Vio[10]=0 Vio[11]=0 Vio[12]=0 Vio[13]=0 Vio[14]=0 Vio[15]=0 Vio[16]=0 Vio[17]=0 Vio[18]=0 Vio[19]=0 Vio[20]=0 Vio[21]=0 Vio[22]=0 Vio[23]=0 Vio[24]=0 Vio[25]=0 Vio[26]=0 Done[0]=0 Done[1]=0 Done[2]=0 Done[3]=0 Done[4]=0 Done[5]=0 Done[6]=0 Done[7]=0 Done[8]=0 Done[9]=0 Done[10]=0 Done[11]=0 Done[12]=0 Done[13]=0 Done[14]=0 Done[15]=0 Done[16]=0 Done[17]=0 Done[18]=0 Done[19]=0 Done[20]=0 Done[21]=0 Done[22]=0 Done[23]=0 Done[24]=0 Done[25]=0 Done[26]=0 Skip[0]=0 Skip[1]=0 Skip[2]=0 Skip[3]=0 Skip[4]=0 Skip[5]=0 Skip[6]=0 Skip[7]=0 Skip[8]=0 Skip[9]=0 Skip[10]=0 Skip[11]=0 Skip[12]=0 Skip[13]=0 Skip[14]=0 Skip[15]=0 Skip[16]=0 Skip[17]=0 Skip[18]=0 Skip[19]=0 Skip[20]=0 Skip[21]=0 Skip[22]=0 Skip[23]=0 Skip[24]=0 Skip[25]=0 Skip[26]=0 #depth=1

Transitions:
  cust_auth_th_102.cust_auth_mid0->cust_auth_th_102.cust_auth_mid { 1, cust_auth_enable_100!, 1 }
  cust_auth_main_105.cust_auth_disabled->cust_auth_main_105.cust_auth_enabled { 1, cust_auth_enable_100?, reset(cust_auth) }

State:
( request_th_2.request_mid request_main_99.request_Seq_enabled req_type_th_11.req_type_th_11_disabled req_type_main_14.req_type_disabled req_info_th_17.req_info_th_17_disabled req_info_main_66.req_info_disabled resp_th_69.resp_th_69_disabled resp_main_98.resp_main_98_disabled resp1_th_76.resp1_th_76_disabled resp1_main_85.resp1_disabled credit_main_84.credit_disabled resp2_th_88.resp2_th_88_disabled resp2_main_97.resp2_disabled credit_main_96.credit_disabled cust_auth_th_102.cust_auth_mid cust_auth_main_105.cust_auth_enabled req_refuse_th_108.req_refuse_start req_refuse_main_111.req_refuse_disabled chooseSLA_th_114.chooseSLA_mid0 chooseSLA_main_119.chooseSLA_disabled reach_th_122.reach_mid0 reach_main_125.reach_disabled do_customer_standard_support._id119 do_customer_service_type._id120 do_customer_contact_details._id121 do_customer_problem_description._id122 do_customer_prove_authorisation._id123 do_company_refuse_request._id124 do_customer_basic._id125 do_customer_bronze._id126 do_company_respond._id127 do_company_give_credit._id128 do_customer_be_reachable._id129 )
Clocks[0]=0 Clocks[1]=0 Clocks[2]=0 Clocks[3]=0 Clocks[4]=0 Clocks[5]=0 Clocks[6]=0 Clocks[7]=0 Clocks[8]=0 Clocks[9]=0 Clocks[10]=0 Clocks[11]=0 Clocks[12]=0 Clocks[13]=0 Clocks[14]=0 Clocks[15]=0 Clocks[16]=0 Clocks[17]=0 Clocks[18]=0 Clocks[19]=0 Clocks[20]=0 Clocks[21]=0 Clocks[22]=0 Clocks[23]=0 Clocks[24]=0 Clocks[25]=0 Clocks[26]=0 t0=0 Sat[0]=0 Sat[1]=0 Sat[2]=0 Sat[3]=0 Sat[4]=0 Sat[5]=0 Sat[6]=0 Sat[7]=0 Sat[8]=0 Sat[9]=0 Sat[10]=0 Sat[11]=0 Sat[12]=0 Sat[13]=0 Sat[14]=0 Sat[15]=0 Sat[16]=0 Sat[17]=0 Sat[18]=0 Sat[19]=0 Sat[20]=0 Sat[21]=0 Sat[22]=0 Sat[23]=0 Sat[24]=0 Sat[25]=0 Sat[26]=0 Vio[0]=0 Vio[1]=0 Vio[2]=0 Vio[3]=0 Vio[4]=0 Vio[5]=0 Vio[6]=0 Vio[7]=0 Vio[8]=0 Vio[9]=0 Vio[10]=0 Vio[11]=0 Vio[12]=0 Vio[13]=0 Vio[14]=0 Vio[15]=0 Vio[16]=0 Vio[17]=0 Vio[18]=0 Vio[19]=0 Vio[20]=0 Vio[21]=0 Vio[22]=0 Vio[23]=0 Vio[24]=0 Vio[25]=0 Vio[26]=0 Done[0]=0 Done[1]=0 Done[2]=0 Done[3]=0 Done[4]=0 Done[5]=0 Done[6]=0 Done[7]=0 Done[8]=0 Done[9]=0 Done[10]=0 Done[11]=0 Done[12]=0 Done[13]=0 Done[14]=0 Done[15]=0 Done[16]=0 Done[17]=0 Done[18]=0 Done[19]=0 Done[20]=0 Done[21]=0 Done[22]=0 Done[23]=0 Done[24]=0 Done[25]=0 Done[26]=0 Skip[0]=0 Skip[1]=0 Skip[2]=0 Skip[3]=0 Skip[4]=0 Skip[5]=0 Skip[6]=0 Skip[7]=0 Skip[8]=0 Skip[9]=0 Skip[10]=0 Skip[11]=0 Skip[12]=0 Skip[13]=0 Skip[14]=0 Skip[15]=0 Skip[16]=0 Skip[17]=0 Skip[18]=0 Skip[19]=0 Skip[20]=0 Skip[21]=0 Skip[22]=0 Skip[23]=0 Skip[24]=0 Skip[25]=0 Skip[26]=0 #depth=2

Transitions:
  chooseSLA_th_114.chooseSLA_mid0->chooseSLA_th_114.chooseSLA_mid { 1, chooseSLA_enable_112!, 1 }
  chooseSLA_main_119.chooseSLA_disabled->chooseSLA_main_119.chooseSLA_enabled { 1, chooseSLA_enable_112?, reset(chooseSLA) }

State:
( request_th_2.request_mid request_main_99.request_Seq_enabled req_type_th_11.req_type_th_11_disabled req_type_main_14.req_type_disabled req_info_th_17.req_info_th_17_disabled req_info_main_66.req_info_disabled resp_th_69.resp_th_69_disabled resp_main_98.resp_main_98_disabled resp1_th_76.resp1_th_76_disabled resp1_main_85.resp1_disabled credit_main_84.credit_disabled resp2_th_88.resp2_th_88_disabled resp2_main_97.resp2_disabled credit_main_96.credit_disabled cust_auth_th_102.cust_auth_mid cust_auth_main_105.cust_auth_enabled req_refuse_th_108.req_refuse_start req_refuse_main_111.req_refuse_disabled chooseSLA_th_114.chooseSLA_mid chooseSLA_main_119.chooseSLA_enabled reach_th_122.reach_mid0 reach_main_125.reach_disabled do_customer_standard_support._id119 do_customer_service_type._id120 do_customer_contact_details._id121 do_customer_problem_description._id122 do_customer_prove_authorisation._id123 do_company_refuse_request._id124 do_customer_basic._id125 do_customer_bronze._id126 do_company_respond._id127 do_company_give_credit._id128 do_customer_be_reachable._id129 )
Clocks[0]=0 Clocks[1]=0 Clocks[2]=0 Clocks[3]=0 Clocks[4]=0 Clocks[5]=0 Clocks[6]=0 Clocks[7]=0 Clocks[8]=0 Clocks[9]=0 Clocks[10]=0 Clocks[11]=0 Clocks[12]=0 Clocks[13]=0 Clocks[14]=0 Clocks[15]=0 Clocks[16]=0 Clocks[17]=0 Clocks[18]=0 Clocks[19]=0 Clocks[20]=0 Clocks[21]=0 Clocks[22]=0 Clocks[23]=0 Clocks[24]=0 Clocks[25]=0 Clocks[26]=0 t0=0 Sat[0]=0 Sat[1]=0 Sat[2]=0 Sat[3]=0 Sat[4]=0 Sat[5]=0 Sat[6]=0 Sat[7]=0 Sat[8]=0 Sat[9]=0 Sat[10]=0 Sat[11]=0 Sat[12]=0 Sat[13]=0 Sat[14]=0 Sat[15]=0 Sat[16]=0 Sat[17]=0 Sat[18]=0 Sat[19]=0 Sat[20]=0 Sat[21]=0 Sat[22]=0 Sat[23]=0 Sat[24]=0 Sat[25]=0 Sat[26]=0 Vio[0]=0 Vio[1]=0 Vio[2]=0 Vio[3]=0 Vio[4]=0 Vio[5]=0 Vio[6]=0 Vio[7]=0 Vio[8]=0 Vio[9]=0 Vio[10]=0 Vio[11]=0 Vio[12]=0 Vio[13]=0 Vio[14]=0 Vio[15]=0 Vio[16]=0 Vio[17]=0 Vio[18]=0 Vio[19]=0 Vio[20]=0 Vio[21]=0 Vio[22]=0 Vio[23]=0 Vio[24]=0 Vio[25]=0 Vio[26]=0 Done[0]=0 Done[1]=0 Done[2]=0 Done[3]=0 Done[4]=0 Done[5]=0 Done[6]=0 Done[7]=0 Done[8]=0 Done[9]=0 Done[10]=0 Done[11]=0 Done[12]=0 Done[13]=0 Done[14]=0 Done[15]=0 Done[16]=0 Done[17]=0 Done[18]=0 Done[19]=0 Done[20]=0 Done[21]=0 Done[22]=0 Done[23]=0 Done[24]=0 Done[25]=0 Done[26]=0 Skip[0]=0 Skip[1]=0 Skip[2]=0 Skip[3]=0 Skip[4]=0 Skip[5]=0 Skip[6]=0 Skip[7]=0 Skip[8]=0 Skip[9]=0 Skip[10]=0 Skip[11]=0 Skip[12]=0 Skip[13]=0 Skip[14]=0 Skip[15]=0 Skip[16]=0 Skip[17]=0 Skip[18]=0 Skip[19]=0 Skip[20]=0 Skip[21]=0 Skip[22]=0 Skip[23]=0 Skip[24]=0 Skip[25]=0 Skip[26]=0 #depth=3

Transitions:
  reach_th_122.reach_mid0->reach_th_122.reach_mid { 1, reach_enable_120!, 1 }
  reach_main_125.reach_disabled->reach_main_125.reach_enabled { 1, reach_enable_120?, reset(reach) }

State:
( request_th_2.request_mid request_main_99.request_Seq_enabled req_type_th_11.req_type_th_11_disabled req_type_main_14.req_type_disabled req_info_th_17.req_info_th_17_disabled req_info_main_66.req_info_disabled resp_th_69.resp_th_69_disabled resp_main_98.resp_main_98_disabled resp1_th_76.resp1_th_76_disabled resp1_main_85.resp1_disabled credit_main_84.credit_disabled resp2_th_88.resp2_th_88_disabled resp2_main_97.resp2_disabled credit_main_96.credit_disabled cust_auth_th_102.cust_auth_mid cust_auth_main_105.cust_auth_enabled req_refuse_th_108.req_refuse_start req_refuse_main_111.req_refuse_disabled chooseSLA_th_114.chooseSLA_mid chooseSLA_main_119.chooseSLA_enabled reach_th_122.reach_mid reach_main_125.reach_enabled do_customer_standard_support._id119 do_customer_service_type._id120 do_customer_contact_details._id121 do_customer_problem_description._id122 do_customer_prove_authorisation._id123 do_company_refuse_request._id124 do_customer_basic._id125 do_customer_bronze._id126 do_company_respond._id127 do_company_give_credit._id128 do_customer_be_reachable._id129 )
Clocks[0]=0 Clocks[1]=0 Clocks[2]=0 Clocks[3]=0 Clocks[4]=0 Clocks[5]=0 Clocks[6]=0 Clocks[7]=0 Clocks[8]=0 Clocks[9]=0 Clocks[10]=0 Clocks[11]=0 Clocks[12]=0 Clocks[13]=0 Clocks[14]=0 Clocks[15]=0 Clocks[16]=0 Clocks[17]=0 Clocks[18]=0 Clocks[19]=0 Clocks[20]=0 Clocks[21]=0 Clocks[22]=0 Clocks[23]=0 Clocks[24]=0 Clocks[25]=0 Clocks[26]=0 t0=0 Sat[0]=0 Sat[1]=0 Sat[2]=0 Sat[3]=0 Sat[4]=0 Sat[5]=0 Sat[6]=0 Sat[7]=0 Sat[8]=0 Sat[9]=0 Sat[10]=0 Sat[11]=0 Sat[12]=0 Sat[13]=0 Sat[14]=0 Sat[15]=0 Sat[16]=0 Sat[17]=0 Sat[18]=0 Sat[19]=0 Sat[20]=0 Sat[21]=0 Sat[22]=0 Sat[23]=0 Sat[24]=0 Sat[25]=0 Sat[26]=0 Vio[0]=0 Vio[1]=0 Vio[2]=0 Vio[3]=0 Vio[4]=0 Vio[5]=0 Vio[6]=0 Vio[7]=0 Vio[8]=0 Vio[9]=0 Vio[10]=0 Vio[11]=0 Vio[12]=0 Vio[13]=0 Vio[14]=0 Vio[15]=0 Vio[16]=0 Vio[17]=0 Vio[18]=0 Vio[19]=0 Vio[20]=0 Vio[21]=0 Vio[22]=0 Vio[23]=0 Vio[24]=0 Vio[25]=0 Vio[26]=0 Done[0]=0 Done[1]=0 Done[2]=0 Done[3]=0 Done[4]=0 Done[5]=0 Done[6]=0 Done[7]=0 Done[8]=0 Done[9]=0 Done[10]=0 Done[11]=0 Done[12]=0 Done[13]=0 Done[14]=0 Done[15]=0 Done[16]=0 Done[17]=0 Done[18]=0 Done[19]=0 Done[20]=0 Done[21]=0 Done[22]=0 Done[23]=0 Done[24]=0 Done[25]=0 Done[26]=0 Skip[0]=0 Skip[1]=0 Skip[2]=0 Skip[3]=0 Skip[4]=0 Skip[5]=0 Skip[6]=0 Skip[7]=0 Skip[8]=0 Skip[9]=0 Skip[10]=0 Skip[11]=0 Skip[12]=0 Skip[13]=0 Skip[14]=0 Skip[15]=0 Skip[16]=0 Skip[17]=0 Skip[18]=0 Skip[19]=0 Skip[20]=0 Skip[21]=0 Skip[22]=0 Skip[23]=0 Skip[24]=0 Skip[25]=0 Skip[26]=0 #depth=4

Transitions:
  request_main_99.request_Seq_enabled->request_main_99.request_Seq_enabled_1 { 1, request_enable_1_3!, 1 }
  req_type_th_11.req_type_th_11_disabled->req_type_th_11.req_type_mid0 { 1, request_enable_1_3?, 1 }

State:
( request_th_2.request_mid request_main_99.request_Seq_enabled_1 req_type_th_11.req_type_mid0 req_type_main_14.req_type_disabled req_info_th_17.req_info_th_17_disabled req_info_main_66.req_info_disabled resp_th_69.resp_th_69_disabled resp_main_98.resp_main_98_disabled resp1_th_76.resp1_th_76_disabled resp1_main_85.resp1_disabled credit_main_84.credit_disabled resp2_th_88.resp2_th_88_disabled resp2_main_97.resp2_disabled credit_main_96.credit_disabled cust_auth_th_102.cust_auth_mid cust_auth_main_105.cust_auth_enabled req_refuse_th_108.req_refuse_start req_refuse_main_111.req_refuse_disabled chooseSLA_th_114.chooseSLA_mid chooseSLA_main_119.chooseSLA_enabled reach_th_122.reach_mid reach_main_125.reach_enabled do_customer_standard_support._id119 do_customer_service_type._id120 do_customer_contact_details._id121 do_customer_problem_description._id122 do_customer_prove_authorisation._id123 do_company_refuse_request._id124 do_customer_basic._id125 do_customer_bronze._id126 do_company_respond._id127 do_company_give_credit._id128 do_customer_be_reachable._id129 )
Clocks[0]=0 Clocks[1]=0 Clocks[2]=0 Clocks[3]=0 Clocks[4]=0 Clocks[5]=0 Clocks[6]=0 Clocks[7]=0 Clocks[8]=0 Clocks[9]=0 Clocks[10]=0 Clocks[11]=0 Clocks[12]=0 Clocks[13]=0 Clocks[14]=0 Clocks[15]=0 Clocks[16]=0 Clocks[17]=0 Clocks[18]=0 Clocks[19]=0 Clocks[20]=0 Clocks[21]=0 Clocks[22]=0 Clocks[23]=0 Clocks[24]=0 Clocks[25]=0 Clocks[26]=0 t0=0 Sat[0]=0 Sat[1]=0 Sat[2]=0 Sat[3]=0 Sat[4]=0 Sat[5]=0 Sat[6]=0 Sat[7]=0 Sat[8]=0 Sat[9]=0 Sat[10]=0 Sat[11]=0 Sat[12]=0 Sat[13]=0 Sat[14]=0 Sat[15]=0 Sat[16]=0 Sat[17]=0 Sat[18]=0 Sat[19]=0 Sat[20]=0 Sat[21]=0 Sat[22]=0 Sat[23]=0 Sat[24]=0 Sat[25]=0 Sat[26]=0 Vio[0]=0 Vio[1]=0 Vio[2]=0 Vio[3]=0 Vio[4]=0 Vio[5]=0 Vio[6]=0 Vio[7]=0 Vio[8]=0 Vio[9]=0 Vio[10]=0 Vio[11]=0 Vio[12]=0 Vio[13]=0 Vio[14]=0 Vio[15]=0 Vio[16]=0 Vio[17]=0 Vio[18]=0 Vio[19]=0 Vio[20]=0 Vio[21]=0 Vio[22]=0 Vio[23]=0 Vio[24]=0 Vio[25]=0 Vio[26]=0 Done[0]=0 Done[1]=0 Done[2]=0 Done[3]=0 Done[4]=0 Done[5]=0 Done[6]=0 Done[7]=0 Done[8]=0 Done[9]=0 Done[10]=0 Done[11]=0 Done[12]=0 Done[13]=0 Done[14]=0 Done[15]=0 Done[16]=0 Done[17]=0 Done[18]=0 Done[19]=0 Done[20]=0 Done[21]=0 Done[22]=0 Done[23]=0 Done[24]=0 Done[25]=0 Done[26]=0 Skip[0]=0 Skip[1]=0 Skip[2]=0 Skip[3]=0 Skip[4]=0 Skip[5]=0 Skip[6]=0 Skip[7]=0 Skip[8]=0 Skip[9]=0 Skip[10]=0 Skip[11]=0 Skip[12]=0 Skip[13]=0 Skip[14]=0 Skip[15]=0 Skip[16]=0 Skip[17]=0 Skip[18]=0 Skip[19]=0 Skip[20]=0 Skip[21]=0 Skip[22]=0 Skip[23]=0 Skip[24]=0 Skip[25]=0 Skip[26]=0 #depth=5

Transitions:
  req_type_th_11.req_type_mid0->req_type_th_11.req_type_mid { 1, req_type_enable_9!, 1 }
  req_type_main_14.req_type_disabled->req_type_main_14.req_type_enabled { 1, req_type_enable_9?, reset(req_type) }

State:
( request_th_2.request_mid request_main_99.request_Seq_enabled_1 req_type_th_11.req_type_mid req_type_main_14.req_type_enabled req_info_th_17.req_info_th_17_disabled req_info_main_66.req_info_disabled resp_th_69.resp_th_69_disabled resp_main_98.resp_main_98_disabled resp1_th_76.resp1_th_76_disabled resp1_main_85.resp1_disabled credit_main_84.credit_disabled resp2_th_88.resp2_th_88_disabled resp2_main_97.resp2_disabled credit_main_96.credit_disabled cust_auth_th_102.cust_auth_mid cust_auth_main_105.cust_auth_enabled req_refuse_th_108.req_refuse_start req_refuse_main_111.req_refuse_disabled chooseSLA_th_114.chooseSLA_mid chooseSLA_main_119.chooseSLA_enabled reach_th_122.reach_mid reach_main_125.reach_enabled do_customer_standard_support._id119 do_customer_service_type._id120 do_customer_contact_details._id121 do_customer_problem_description._id122 do_customer_prove_authorisation._id123 do_company_refuse_request._id124 do_customer_basic._id125 do_customer_bronze._id126 do_company_respond._id127 do_company_give_credit._id128 do_customer_be_reachable._id129 )
Clocks[0]=0 Clocks[1]=0 Clocks[2]=0 Clocks[3]=0 Clocks[4]=0 Clocks[5]=0 Clocks[6]=0 Clocks[7]=0 Clocks[8]=0 Clocks[9]=0 Clocks[10]=0 Clocks[11]=0 Clocks[12]=0 Clocks[13]=0 Clocks[14]=0 Clocks[15]=0 Clocks[16]=0 Clocks[17]=0 Clocks[18]=0 Clocks[19]=0 Clocks[20]=0 Clocks[21]=0 Clocks[22]=0 Clocks[23]=0 Clocks[24]=0 Clocks[25]=0 Clocks[26]=0 t0=0 Sat[0]=0 Sat[1]=0 Sat[2]=0 Sat[3]=0 Sat[4]=0 Sat[5]=0 Sat[6]=0 Sat[7]=0 Sat[8]=0 Sat[9]=0 Sat[10]=0 Sat[11]=0 Sat[12]=0 Sat[13]=0 Sat[14]=0 Sat[15]=0 Sat[16]=0 Sat[17]=0 Sat[18]=0 Sat[19]=0 Sat[20]=0 Sat[21]=0 Sat[22]=0 Sat[23]=0 Sat[24]=0 Sat[25]=0 Sat[26]=0 Vio[0]=0 Vio[1]=0 Vio[2]=0 Vio[3]=0 Vio[4]=0 Vio[5]=0 Vio[6]=0 Vio[7]=0 Vio[8]=0 Vio[9]=0 Vio[10]=0 Vio[11]=0 Vio[12]=0 Vio[13]=0 Vio[14]=0 Vio[15]=0 Vio[16]=0 Vio[17]=0 Vio[18]=0 Vio[19]=0 Vio[20]=0 Vio[21]=0 Vio[22]=0 Vio[23]=0 Vio[24]=0 Vio[25]=0 Vio[26]=0 Done[0]=0 Done[1]=0 Done[2]=0 Done[3]=0 Done[4]=0 Done[5]=0 Done[6]=0 Done[7]=0 Done[8]=0 Done[9]=0 Done[10]=0 Done[11]=0 Done[12]=0 Done[13]=0 Done[14]=0 Done[15]=0 Done[16]=0 Done[17]=0 Done[18]=0 Done[19]=0 Done[20]=0 Done[21]=0 Done[22]=0 Done[23]=0 Done[24]=0 Done[25]=0 Done[26]=0 Skip[0]=0 Skip[1]=0 Skip[2]=0 Skip[3]=0 Skip[4]=0 Skip[5]=0 Skip[6]=0 Skip[7]=0 Skip[8]=0 Skip[9]=0 Skip[10]=0 Skip[11]=0 Skip[12]=0 Skip[13]=0 Skip[14]=0 Skip[15]=0 Skip[16]=0 Skip[17]=0 Skip[18]=0 Skip[19]=0 Skip[20]=0 Skip[21]=0 Skip[22]=0 Skip[23]=0 Skip[24]=0 Skip[25]=0 Skip[26]=0 #depth=6

Transitions:
  req_type_main_14.req_type_enabled->req_type_main_14.req_type_end { 1, tau, sat(req_type) }

State:
( request_th_2.request_mid request_main_99.request_Seq_enabled_1 req_type_th_11.req_type_mid req_type_main_14.req_type_end req_info_th_17.req_info_th_17_disabled req_info_main_66.req_info_disabled resp_th_69.resp_th_69_disabled resp_main_98.resp_main_98_disabled resp1_th_76.resp1_th_76_disabled resp1_main_85.resp1_disabled credit_main_84.credit_disabled resp2_th_88.resp2_th_88_disabled resp2_main_97.resp2_disabled credit_main_96.credit_disabled cust_auth_th_102.cust_auth_mid cust_auth_main_105.cust_auth_enabled req_refuse_th_108.req_refuse_start req_refuse_main_111.req_refuse_disabled chooseSLA_th_114.chooseSLA_mid chooseSLA_main_119.chooseSLA_enabled reach_th_122.reach_mid reach_main_125.reach_enabled do_customer_standard_support._id119 do_customer_service_type._id120 do_customer_contact_details._id121 do_customer_problem_description._id122 do_customer_prove_authorisation._id123 do_company_refuse_request._id124 do_customer_basic._id125 do_customer_bronze._id126 do_company_respond._id127 do_company_give_credit._id128 do_customer_be_reachable._id129 )
Clocks[0]=0 Clocks[1]=0 Clocks[2]=0 Clocks[3]=0 Clocks[4]=0 Clocks[5]=0 Clocks[6]=0 Clocks[7]=0 Clocks[8]=0 Clocks[9]=0 Clocks[10]=0 Clocks[11]=0 Clocks[12]=0 Clocks[13]=0 Clocks[14]=0 Clocks[15]=0 Clocks[16]=0 Clocks[17]=0 Clocks[18]=0 Clocks[19]=0 Clocks[20]=0 Clocks[21]=0 Clocks[22]=0 Clocks[23]=0 Clocks[24]=0 Clocks[25]=0 Clocks[26]=0 t0=0 Sat[0]=0 Sat[1]=1 Sat[2]=0 Sat[3]=0 Sat[4]=0 Sat[5]=0 Sat[6]=0 Sat[7]=0 Sat[8]=0 Sat[9]=0 Sat[10]=0 Sat[11]=0 Sat[12]=0 Sat[13]=0 Sat[14]=0 Sat[15]=0 Sat[16]=0 Sat[17]=0 Sat[18]=0 Sat[19]=0 Sat[20]=0 Sat[21]=0 Sat[22]=0 Sat[23]=0 Sat[24]=0 Sat[25]=0 Sat[26]=0 Vio[0]=0 Vio[1]=0 Vio[2]=0 Vio[3]=0 Vio[4]=0 Vio[5]=0 Vio[6]=0 Vio[7]=0 Vio[8]=0 Vio[9]=0 Vio[10]=0 Vio[11]=0 Vio[12]=0 Vio[13]=0 Vio[14]=0 Vio[15]=0 Vio[16]=0 Vio[17]=0 Vio[18]=0 Vio[19]=0 Vio[20]=0 Vio[21]=0 Vio[22]=0 Vio[23]=0 Vio[24]=0 Vio[25]=0 Vio[26]=0 Done[0]=0 Done[1]=0 Done[2]=0 Done[3]=0 Done[4]=0 Done[5]=0 Done[6]=0 Done[7]=0 Done[8]=0 Done[9]=0 Done[10]=0 Done[11]=0 Done[12]=0 Done[13]=0 Done[14]=0 Done[15]=0 Done[16]=0 Done[17]=0 Done[18]=0 Done[19]=0 Done[20]=0 Done[21]=0 Done[22]=0 Done[23]=0 Done[24]=0 Done[25]=0 Done[26]=0 Skip[0]=0 Skip[1]=0 Skip[2]=0 Skip[3]=0 Skip[4]=0 Skip[5]=0 Skip[6]=0 Skip[7]=0 Skip[8]=0 Skip[9]=0 Skip[10]=0 Skip[11]=0 Skip[12]=0 Skip[13]=0 Skip[14]=0 Skip[15]=0 Skip[16]=0 Skip[17]=0 Skip[18]=0 Skip[19]=0 Skip[20]=0 Skip[21]=0 Skip[22]=0 Skip[23]=0 Skip[24]=0 Skip[25]=0 Skip[26]=0 #depth=7

Transitions:
  req_type_main_14.req_type_end->req_type_main_14.req_type_disabled { 1, req_type_complete_10!, 1 }
  req_type_th_11.req_type_mid->req_type_th_11.req_type_end { 1, req_type_complete_10?, 1 }

State:
( request_th_2.request_mid request_main_99.request_Seq_enabled_1 req_type_th_11.req_type_end req_type_main_14.req_type_disabled req_info_th_17.req_info_th_17_disabled req_info_main_66.req_info_disabled resp_th_69.resp_th_69_disabled resp_main_98.resp_main_98_disabled resp1_th_76.resp1_th_76_disabled resp1_main_85.resp1_disabled credit_main_84.credit_disabled resp2_th_88.resp2_th_88_disabled resp2_main_97.resp2_disabled credit_main_96.credit_disabled cust_auth_th_102.cust_auth_mid cust_auth_main_105.cust_auth_enabled req_refuse_th_108.req_refuse_start req_refuse_main_111.req_refuse_disabled chooseSLA_th_114.chooseSLA_mid chooseSLA_main_119.chooseSLA_enabled reach_th_122.reach_mid reach_main_125.reach_enabled do_customer_standard_support._id119 do_customer_service_type._id120 do_customer_contact_details._id121 do_customer_problem_description._id122 do_customer_prove_authorisation._id123 do_company_refuse_request._id124 do_customer_basic._id125 do_customer_bronze._id126 do_company_respond._id127 do_company_give_credit._id128 do_customer_be_reachable._id129 )
Clocks[0]=0 Clocks[1]=0 Clocks[2]=0 Clocks[3]=0 Clocks[4]=0 Clocks[5]=0 Clocks[6]=0 Clocks[7]=0 Clocks[8]=0 Clocks[9]=0 Clocks[10]=0 Clocks[11]=0 Clocks[12]=0 Clocks[13]=0 Clocks[14]=0 Clocks[15]=0 Clocks[16]=0 Clocks[17]=0 Clocks[18]=0 Clocks[19]=0 Clocks[20]=0 Clocks[21]=0 Clocks[22]=0 Clocks[23]=0 Clocks[24]=0 Clocks[25]=0 Clocks[26]=0 t0=0 Sat[0]=0 Sat[1]=1 Sat[2]=0 Sat[3]=0 Sat[4]=0 Sat[5]=0 Sat[6]=0 Sat[7]=0 Sat[8]=0 Sat[9]=0 Sat[10]=0 Sat[11]=0 Sat[12]=0 Sat[13]=0 Sat[14]=0 Sat[15]=0 Sat[16]=0 Sat[17]=0 Sat[18]=0 Sat[19]=0 Sat[20]=0 Sat[21]=0 Sat[22]=0 Sat[23]=0 Sat[24]=0 Sat[25]=0 Sat[26]=0 Vio[0]=0 Vio[1]=0 Vio[2]=0 Vio[3]=0 Vio[4]=0 Vio[5]=0 Vio[6]=0 Vio[7]=0 Vio[8]=0 Vio[9]=0 Vio[10]=0 Vio[11]=0 Vio[12]=0 Vio[13]=0 Vio[14]=0 Vio[15]=0 Vio[16]=0 Vio[17]=0 Vio[18]=0 Vio[19]=0 Vio[20]=0 Vio[21]=0 Vio[22]=0 Vio[23]=0 Vio[24]=0 Vio[25]=0 Vio[26]=0 Done[0]=0 Done[1]=0 Done[2]=0 Done[3]=0 Done[4]=0 Done[5]=0 Done[6]=0 Done[7]=0 Done[8]=0 Done[9]=0 Done[10]=0 Done[11]=0 Done[12]=0 Done[13]=0 Done[14]=0 Done[15]=0 Done[16]=0 Done[17]=0 Done[18]=0 Done[19]=0 Done[20]=0 Done[21]=0 Done[22]=0 Done[23]=0 Done[24]=0 Done[25]=0 Done[26]=0 Skip[0]=0 Skip[1]=0 Skip[2]=0 Skip[3]=0 Skip[4]=0 Skip[5]=0 Skip[6]=0 Skip[7]=0 Skip[8]=0 Skip[9]=0 Skip[10]=0 Skip[11]=0 Skip[12]=0 Skip[13]=0 Skip[14]=0 Skip[15]=0 Skip[16]=0 Skip[17]=0 Skip[18]=0 Skip[19]=0 Skip[20]=0 Skip[21]=0 Skip[22]=0 Skip[23]=0 Skip[24]=0 Skip[25]=0 Skip[26]=0 #depth=8

Transitions:
  req_type_th_11.req_type_end->req_type_th_11.req_type_th_11_complete { 1, request_complete_1_6!, 1 }
  request_main_99.request_Seq_enabled_1->request_main_99.request_Seq_complete_1 { 1, request_complete_1_6?, 1 }

State:
( request_th_2.request_mid request_main_99.request_Seq_complete_1 req_type_th_11.req_type_th_11_complete req_type_main_14.req_type_disabled req_info_th_17.req_info_th_17_disabled req_info_main_66.req_info_disabled resp_th_69.resp_th_69_disabled resp_main_98.resp_main_98_disabled resp1_th_76.resp1_th_76_disabled resp1_main_85.resp1_disabled credit_main_84.credit_disabled resp2_th_88.resp2_th_88_disabled resp2_main_97.resp2_disabled credit_main_96.credit_disabled cust_auth_th_102.cust_auth_mid cust_auth_main_105.cust_auth_enabled req_refuse_th_108.req_refuse_start req_refuse_main_111.req_refuse_disabled chooseSLA_th_114.chooseSLA_mid chooseSLA_main_119.chooseSLA_enabled reach_th_122.reach_mid reach_main_125.reach_enabled do_customer_standard_support._id119 do_customer_service_type._id120 do_customer_contact_details._id121 do_customer_problem_description._id122 do_customer_prove_authorisation._id123 do_company_refuse_request._id124 do_customer_basic._id125 do_customer_bronze._id126 do_company_respond._id127 do_company_give_credit._id128 do_customer_be_reachable._id129 )
Clocks[0]=0 Clocks[1]=0 Clocks[2]=0 Clocks[3]=0 Clocks[4]=0 Clocks[5]=0 Clocks[6]=0 Clocks[7]=0 Clocks[8]=0 Clocks[9]=0 Clocks[10]=0 Clocks[11]=0 Clocks[12]=0 Clocks[13]=0 Clocks[14]=0 Clocks[15]=0 Clocks[16]=0 Clocks[17]=0 Clocks[18]=0 Clocks[19]=0 Clocks[20]=0 Clocks[21]=0 Clocks[22]=0 Clocks[23]=0 Clocks[24]=0 Clocks[25]=0 Clocks[26]=0 t0=0 Sat[0]=0 Sat[1]=1 Sat[2]=0 Sat[3]=0 Sat[4]=0 Sat[5]=0 Sat[6]=0 Sat[7]=0 Sat[8]=0 Sat[9]=0 Sat[10]=0 Sat[11]=0 Sat[12]=0 Sat[13]=0 Sat[14]=0 Sat[15]=0 Sat[16]=0 Sat[17]=0 Sat[18]=0 Sat[19]=0 Sat[20]=0 Sat[21]=0 Sat[22]=0 Sat[23]=0 Sat[24]=0 Sat[25]=0 Sat[26]=0 Vio[0]=0 Vio[1]=0 Vio[2]=0 Vio[3]=0 Vio[4]=0 Vio[5]=0 Vio[6]=0 Vio[7]=0 Vio[8]=0 Vio[9]=0 Vio[10]=0 Vio[11]=0 Vio[12]=0 Vio[13]=0 Vio[14]=0 Vio[15]=0 Vio[16]=0 Vio[17]=0 Vio[18]=0 Vio[19]=0 Vio[20]=0 Vio[21]=0 Vio[22]=0 Vio[23]=0 Vio[24]=0 Vio[25]=0 Vio[26]=0 Done[0]=0 Done[1]=0 Done[2]=0 Done[3]=0 Done[4]=0 Done[5]=0 Done[6]=0 Done[7]=0 Done[8]=0 Done[9]=0 Done[10]=0 Done[11]=0 Done[12]=0 Done[13]=0 Done[14]=0 Done[15]=0 Done[16]=0 Done[17]=0 Done[18]=0 Done[19]=0 Done[20]=0 Done[21]=0 Done[22]=0 Done[23]=0 Done[24]=0 Done[25]=0 Done[26]=0 Skip[0]=0 Skip[1]=0 Skip[2]=0 Skip[3]=0 Skip[4]=0 Skip[5]=0 Skip[6]=0 Skip[7]=0 Skip[8]=0 Skip[9]=0 Skip[10]=0 Skip[11]=0 Skip[12]=0 Skip[13]=0 Skip[14]=0 Skip[15]=0 Skip[16]=0 Skip[17]=0 Skip[18]=0 Skip[19]=0 Skip[20]=0 Skip[21]=0 Skip[22]=0 Skip[23]=0 Skip[24]=0 Skip[25]=0 Skip[26]=0 #depth=9

Transitions:
  request_main_99.request_Seq_complete_1->request_main_99.request_Seq_enabled_2 { 1, request_enable_2_4!, 1 }
  req_info_th_17.req_info_th_17_disabled->req_info_th_17.req_info_mid0 { 1, request_enable_2_4?, 1 }

State:
( request_th_2.request_mid request_main_99.request_Seq_enabled_2 req_type_th_11.req_type_th_11_complete req_type_main_14.req_type_disabled req_info_th_17.req_info_mid0 req_info_main_66.req_info_disabled resp_th_69.resp_th_69_disabled resp_main_98.resp_main_98_disabled resp1_th_76.resp1_th_76_disabled resp1_main_85.resp1_disabled credit_main_84.credit_disabled resp2_th_88.resp2_th_88_disabled resp2_main_97.resp2_disabled credit_main_96.credit_disabled cust_auth_th_102.cust_auth_mid cust_auth_main_105.cust_auth_enabled req_refuse_th_108.req_refuse_start req_refuse_main_111.req_refuse_disabled chooseSLA_th_114.chooseSLA_mid chooseSLA_main_119.chooseSLA_enabled reach_th_122.reach_mid reach_main_125.reach_enabled do_customer_standard_support._id119 do_customer_service_type._id120 do_customer_contact_details._id121 do_customer_problem_description._id122 do_customer_prove_authorisation._id123 do_company_refuse_request._id124 do_customer_basic._id125 do_customer_bronze._id126 do_company_respond._id127 do_company_give_credit._id128 do_customer_be_reachable._id129 )
Clocks[0]=0 Clocks[1]=0 Clocks[2]=0 Clocks[3]=0 Clocks[4]=0 Clocks[5]=0 Clocks[6]=0 Clocks[7]=0 Clocks[8]=0 Clocks[9]=0 Clocks[10]=0 Clocks[11]=0 Clocks[12]=0 Clocks[13]=0 Clocks[14]=0 Clocks[15]=0 Clocks[16]=0 Clocks[17]=0 Clocks[18]=0 Clocks[19]=0 Clocks[20]=0 Clocks[21]=0 Clocks[22]=0 Clocks[23]=0 Clocks[24]=0 Clocks[25]=0 Clocks[26]=0 t0=0 Sat[0]=0 Sat[1]=1 Sat[2]=0 Sat[3]=0 Sat[4]=0 Sat[5]=0 Sat[6]=0 Sat[7]=0 Sat[8]=0 Sat[9]=0 Sat[10]=0 Sat[11]=0 Sat[12]=0 Sat[13]=0 Sat[14]=0 Sat[15]=0 Sat[16]=0 Sat[17]=0 Sat[18]=0 Sat[19]=0 Sat[20]=0 Sat[21]=0 Sat[22]=0 Sat[23]=0 Sat[24]=0 Sat[25]=0 Sat[26]=0 Vio[0]=0 Vio[1]=0 Vio[2]=0 Vio[3]=0 Vio[4]=0 Vio[5]=0 Vio[6]=0 Vio[7]=0 Vio[8]=0 Vio[9]=0 Vio[10]=0 Vio[11]=0 Vio[12]=0 Vio[13]=0 Vio[14]=0 Vio[15]=0 Vio[16]=0 Vio[17]=0 Vio[18]=0 Vio[19]=0 Vio[20]=0 Vio[21]=0 Vio[22]=0 Vio[23]=0 Vio[24]=0 Vio[25]=0 Vio[26]=0 Done[0]=0 Done[1]=0 Done[2]=0 Done[3]=0 Done[4]=0 Done[5]=0 Done[6]=0 Done[7]=0 Done[8]=0 Done[9]=0 Done[10]=0 Done[11]=0 Done[12]=0 Done[13]=0 Done[14]=0 Done[15]=0 Done[16]=0 Done[17]=0 Done[18]=0 Done[19]=0 Done[20]=0 Done[21]=0 Done[22]=0 Done[23]=0 Done[24]=0 Done[25]=0 Done[26]=0 Skip[0]=0 Skip[1]=0 Skip[2]=0 Skip[3]=0 Skip[4]=0 Skip[5]=0 Skip[6]=0 Skip[7]=0 Skip[8]=0 Skip[9]=0 Skip[10]=0 Skip[11]=0 Skip[12]=0 Skip[13]=0 Skip[14]=0 Skip[15]=0 Skip[16]=0 Skip[17]=0 Skip[18]=0 Skip[19]=0 Skip[20]=0 Skip[21]=0 Skip[22]=0 Skip[23]=0 Skip[24]=0 Skip[25]=0 Skip[26]=0 #depth=10

Transitions:
  req_info_th_17.req_info_mid0->req_info_th_17.req_info_mid { 1, req_info_enable_15!, 1 }
  req_info_main_66.req_info_disabled->req_info_main_66.req_info_enabled { 1, req_info_enable_15?, reset(req_info) }

State:
( request_th_2.request_mid request_main_99.request_Seq_enabled_2 req_type_th_11.req_type_th_11_complete req_type_main_14.req_type_disabled req_info_th_17.req_info_mid req_info_main_66.req_info_enabled resp_th_69.resp_th_69_disabled resp_main_98.resp_main_98_disabled resp1_th_76.resp1_th_76_disabled resp1_main_85.resp1_disabled credit_main_84.credit_disabled resp2_th_88.resp2_th_88_disabled resp2_main_97.resp2_disabled credit_main_96.credit_disabled cust_auth_th_102.cust_auth_mid cust_auth_main_105.cust_auth_enabled req_refuse_th_108.req_refuse_start req_refuse_main_111.req_refuse_disabled chooseSLA_th_114.chooseSLA_mid chooseSLA_main_119.chooseSLA_enabled reach_th_122.reach_mid reach_main_125.reach_enabled do_customer_standard_support._id119 do_customer_service_type._id120 do_customer_contact_details._id121 do_customer_problem_description._id122 do_customer_prove_authorisation._id123 do_company_refuse_request._id124 do_customer_basic._id125 do_customer_bronze._id126 do_company_respond._id127 do_company_give_credit._id128 do_customer_be_reachable._id129 )
Clocks[0]=0 Clocks[1]=0 Clocks[2]=0 Clocks[3]=0 Clocks[4]=0 Clocks[5]=0 Clocks[6]=0 Clocks[7]=0 Clocks[8]=0 Clocks[9]=0 Clocks[10]=0 Clocks[11]=0 Clocks[12]=0 Clocks[13]=0 Clocks[14]=0 Clocks[15]=0 Clocks[16]=0 Clocks[17]=0 Clocks[18]=0 Clocks[19]=0 Clocks[20]=0 Clocks[21]=0 Clocks[22]=0 Clocks[23]=0 Clocks[24]=0 Clocks[25]=0 Clocks[26]=0 t0=0 Sat[0]=0 Sat[1]=1 Sat[2]=0 Sat[3]=0 Sat[4]=0 Sat[5]=0 Sat[6]=0 Sat[7]=0 Sat[8]=0 Sat[9]=0 Sat[10]=0 Sat[11]=0 Sat[12]=0 Sat[13]=0 Sat[14]=0 Sat[15]=0 Sat[16]=0 Sat[17]=0 Sat[18]=0 Sat[19]=0 Sat[20]=0 Sat[21]=0 Sat[22]=0 Sat[23]=0 Sat[24]=0 Sat[25]=0 Sat[26]=0 Vio[0]=0 Vio[1]=0 Vio[2]=0 Vio[3]=0 Vio[4]=0 Vio[5]=0 Vio[6]=0 Vio[7]=0 Vio[8]=0 Vio[9]=0 Vio[10]=0 Vio[11]=0 Vio[12]=0 Vio[13]=0 Vio[14]=0 Vio[15]=0 Vio[16]=0 Vio[17]=0 Vio[18]=0 Vio[19]=0 Vio[20]=0 Vio[21]=0 Vio[22]=0 Vio[23]=0 Vio[24]=0 Vio[25]=0 Vio[26]=0 Done[0]=0 Done[1]=0 Done[2]=0 Done[3]=0 Done[4]=0 Done[5]=0 Done[6]=0 Done[7]=0 Done[8]=0 Done[9]=0 Done[10]=0 Done[11]=0 Done[12]=0 Done[13]=0 Done[14]=0 Done[15]=0 Done[16]=0 Done[17]=0 Done[18]=0 Done[19]=0 Done[20]=0 Done[21]=0 Done[22]=0 Done[23]=0 Done[24]=0 Done[25]=0 Done[26]=0 Skip[0]=0 Skip[1]=0 Skip[2]=0 Skip[3]=0 Skip[4]=0 Skip[5]=0 Skip[6]=0 Skip[7]=0 Skip[8]=0 Skip[9]=0 Skip[10]=0 Skip[11]=0 Skip[12]=0 Skip[13]=0 Skip[14]=0 Skip[15]=0 Skip[16]=0 Skip[17]=0 Skip[18]=0 Skip[19]=0 Skip[20]=0 Skip[21]=0 Skip[22]=0 Skip[23]=0 Skip[24]=0 Skip[25]=0 Skip[26]=0 #depth=11

Transitions:
  req_info_main_66.req_info_enabled->req_info_main_66.req_info_end { true, tau, sat(req_info) }

State:
( request_th_2.request_mid request_main_99.request_Seq_enabled_2 req_type_th_11.req_type_th_11_complete req_type_main_14.req_type_disabled req_info_th_17.req_info_mid req_info_main_66.req_info_end resp_th_69.resp_th_69_disabled resp_main_98.resp_main_98_disabled resp1_th_76.resp1_th_76_disabled resp1_main_85.resp1_disabled credit_main_84.credit_disabled resp2_th_88.resp2_th_88_disabled resp2_main_97.resp2_disabled credit_main_96.credit_disabled cust_auth_th_102.cust_auth_mid cust_auth_main_105.cust_auth_enabled req_refuse_th_108.req_refuse_start req_refuse_main_111.req_refuse_disabled chooseSLA_th_114.chooseSLA_mid chooseSLA_main_119.chooseSLA_enabled reach_th_122.reach_mid reach_main_125.reach_enabled do_customer_standard_support._id119 do_customer_service_type._id120 do_customer_contact_details._id121 do_customer_problem_description._id122 do_customer_prove_authorisation._id123 do_company_refuse_request._id124 do_customer_basic._id125 do_customer_bronze._id126 do_company_respond._id127 do_company_give_credit._id128 do_customer_be_reachable._id129 )
Clocks[0]=0 Clocks[1]=0 Clocks[2]=0 Clocks[3]=0 Clocks[4]=0 Clocks[5]=0 Clocks[6]=0 Clocks[7]=0 Clocks[8]=0 Clocks[9]=0 Clocks[10]=0 Clocks[11]=0 Clocks[12]=0 Clocks[13]=0 Clocks[14]=0 Clocks[15]=0 Clocks[16]=0 Clocks[17]=0 Clocks[18]=0 Clocks[19]=0 Clocks[20]=0 Clocks[21]=0 Clocks[22]=0 Clocks[23]=0 Clocks[24]=0 Clocks[25]=0 Clocks[26]=0 t0=0 Sat[0]=0 Sat[1]=1 Sat[2]=1 Sat[3]=0 Sat[4]=0 Sat[5]=0 Sat[6]=0 Sat[7]=0 Sat[8]=0 Sat[9]=0 Sat[10]=0 Sat[11]=0 Sat[12]=0 Sat[13]=0 Sat[14]=0 Sat[15]=0 Sat[16]=0 Sat[17]=0 Sat[18]=0 Sat[19]=0 Sat[20]=0 Sat[21]=0 Sat[22]=0 Sat[23]=0 Sat[24]=0 Sat[25]=0 Sat[26]=0 Vio[0]=0 Vio[1]=0 Vio[2]=0 Vio[3]=0 Vio[4]=0 Vio[5]=0 Vio[6]=0 Vio[7]=0 Vio[8]=0 Vio[9]=0 Vio[10]=0 Vio[11]=0 Vio[12]=0 Vio[13]=0 Vio[14]=0 Vio[15]=0 Vio[16]=0 Vio[17]=0 Vio[18]=0 Vio[19]=0 Vio[20]=0 Vio[21]=0 Vio[22]=0 Vio[23]=0 Vio[24]=0 Vio[25]=0 Vio[26]=0 Done[0]=0 Done[1]=0 Done[2]=0 Done[3]=0 Done[4]=0 Done[5]=0 Done[6]=0 Done[7]=0 Done[8]=0 Done[9]=0 Done[10]=0 Done[11]=0 Done[12]=0 Done[13]=0 Done[14]=0 Done[15]=0 Done[16]=0 Done[17]=0 Done[18]=0 Done[19]=0 Done[20]=0 Done[21]=0 Done[22]=0 Done[23]=0 Done[24]=0 Done[25]=0 Done[26]=0 Skip[0]=0 Skip[1]=0 Skip[2]=0 Skip[3]=0 Skip[4]=0 Skip[5]=0 Skip[6]=0 Skip[7]=0 Skip[8]=0 Skip[9]=0 Skip[10]=0 Skip[11]=0 Skip[12]=0 Skip[13]=0 Skip[14]=0 Skip[15]=0 Skip[16]=0 Skip[17]=0 Skip[18]=0 Skip[19]=0 Skip[20]=0 Skip[21]=0 Skip[22]=0 Skip[23]=0 Skip[24]=0 Skip[25]=0 Skip[26]=0 #depth=12