format 224

pseudostatecanvas 128237 pseudostate_ref 128237 // final 
   xyz 290.6 845.8 2000
end
pseudostatecanvas 128365 pseudostate_ref 128365 // initial 
   xyz 378.8 68.8 2000
end
statecanvas 128749 state_ref 128237 // cardInserted
  
  xyzwh 346.4 128.6 2000 91 33
end
statecanvas 128877 state_ref 128365 // chooseOptionMenu
  
  xyzwh 432.4 231.8 2000 129 33
end
statecanvas 129517 state_ref 128493 // withdrawMode - askForAmount
  
  xyzwh 449.4 308.6 2000 195 33
end
statecanvas 129773 state_ref 128749 // witdrawingMoney
  
  xyzwh 496 419 2000 119 33
end
statecanvas 129901 state_ref 128877 // confirmationNeeded?
  
  xyzwh 486 491.8 2000 139 33
end
statecanvas 130029 state_ref 129005 // returnCard
  
  xyzwh 257.8 762.1 2000 81 33
end
statecanvas 130157 state_ref 129133 // printConfirmation
  
  xyzwh 575.6 579 2000 119 33
end
statecanvas 135021 state_ref 129261 // giveoutCash
  
  xyzwh 492.4 664 2006 89 33
end
transitioncanvas 129261 transition_ref 128109 // Authentication Passed
  decenter_begin 768
  
  from ref 128749 z 2001 label "Authentication Passed" xyz 456.5 184.5 3000 to ref 128877
  write_horizontally default show_definition default drawing_language default
end
transitioncanvas 130285 transition_ref 128365 // Card Insertion
  decenter_end 460
  
  from ref 128365 z 2001 label "Card Insertion" xyz 399 101 3000 to ref 128749
  write_horizontally default show_definition default drawing_language default
end
transitioncanvas 130541 transition_ref 128493 // Choose 'Withdraw Money'
  decenter_begin 930
  decenter_end 542
  
  from ref 128877 z 2001 label "Choose 'Withdraw Money'" xyz 563.5 281 3000 to ref 129517
  write_horizontally default show_definition default drawing_language default
end
transitioncanvas 130925 transition_ref 128749 // Bank approves transaction
  decenter_end 444
  
  from ref 129517 z 2001 label "Bank approves transaction" xyz 555 373.5 3000 to ref 129773
  write_horizontally default show_definition default drawing_language default
end
transitioncanvas 131181 transition_ref 129005 // Authentication Failed
  decenter_end 111
  
  from ref 128749 z 2001 label "Authentication Failed" xyz 212.5 180.5 3000 to point 267.6 238
  line 131309 z 2001 to ref 130029
  write_horizontally default show_definition default drawing_language default
end
transitioncanvas 132973 transition_ref 129389 // <transition>
  
  from ref 129773 z 2001 to ref 129901
  write_horizontally default show_definition default drawing_language default
end
transitioncanvas 133101 transition_ref 129517 // Yes
  
  from ref 129901 z 2001 label "Yes" xyz 604 538.5 3000 to ref 130157
  write_horizontally default show_definition default drawing_language default
end
transitioncanvas 133485 transition_ref 129901 // <transition>
  decenter_begin 566
  
  from ref 130029 z 2001 to ref 128237
  write_horizontally default show_definition default drawing_language default
end
transitioncanvas 133741 transition_ref 130029 // Bank does not approve transaction
  decenter_begin 46
  decenter_end 216
  
  from ref 129517 z 2001 label "Bank does not approve transaction" xyz 313 277 3000 to ref 128877
  write_horizontally default show_definition default drawing_language default
end
transitioncanvas 134637 transition_ref 130413 // Exit
  
  from ref 128877 z 2001 label "Exit" xyz 365 228 3000 to point 300.8 243
  line 134765 z 2001 to ref 130029
  write_horizontally default show_definition default drawing_language default
end
transitioncanvas 135149 transition_ref 130541 // No
  decenter_begin 358
  
  from ref 129901 z 2007 label "No" xyz 516.5 585 3000 to ref 135021
  write_horizontally default show_definition default drawing_language default
end
transitioncanvas 135277 transition_ref 130669 // <transition>
  
  from ref 130157 z 2007 to ref 135021
  write_horizontally default show_definition default drawing_language default
end
transitioncanvas 135405 transition_ref 130797 // <transition>
  
  from ref 135021 z 2007 to ref 130029
  write_horizontally default show_definition default drawing_language default
end
end