== start =====
start =>> trans_Off__DoAStateB.prep   (*  :  *)
== step =====
step =>> trans_A_pre__StateA_succ.prep   (*  :  *)
step =>> trans_StateA1__A_pre.prep   (*  :  *)
step =>> trans_StateA__StateA1.prep   (*  :  *)
step =>> trans_StateB__StateB1.prep   (*  :  *)
== cont =====
cont =>> trans_Stop__H.prep   (*  :  *)
== stopp =====
stopp =>> trans_Work__Off.prep   (*  :  *)
== upd =====
upd =>> ctAentry.upd   (*  :  *)
upd =>> ctBA.upd   (*  :  *)
upd =>> ctBexit.upd   (*  :  *)
== stepB =====
stepB =>> trans_DoA__Stop.prep   (*  :  *)
stepB =>> trans_StateB1__StateB.prep   (*  :  *)
== StateB.entry =====
StateB.entry =>> ctABentry_X.prep   (*  :  *)
== StateA_succ.entry =====
StateA_succ.entry =>> ctAentry_X.prep   (*  :  *)
== Off.exit =====
Off.exit =>> ctAentry_1X.prep   (*  :  *)
Off.exit =>> ctBA0.prep   (*  :  *)
Off.exit =>> ctBexit_1X.prep   (*  :  *)
== trans_StateA1__A_pre.trans =====
trans_StateA1__A_pre.trans =>> ctBA_X.prep   (*  :  *)
== StateB1.exit =====
StateB1.exit =>> ctBBexit_X.prep   (*  :  *)
== trans_StateB1__StateB.trans =====
trans_StateB1__StateB.trans =>> ctB_BA_X.prep   (*  :  *)
== StateA1.exit =====
StateA1.exit =>> ctBexit_X.prep   (*  :  *)
