autograph version 3
window"Autograph Window""*Autograph Window   /root/esterel/examples/auto/complex.atg""/root/esterel/examples/auto/auto.fc2"293 140 600 506 930 548
labels 14
   0: "initial>unknown_label"
   1: "automaton"
   2: "~HALT_REG_11_,~HALT_REG_1_,~HALT_REG_5_,BOOT_REGISTER_"
   3: "tau"
   4: "~HALT_REG_11_,~HALT_REG_1_,HALT_REG_5_,~BOOT_REGISTER_"
   5: "#ignition_off.#door_locked"
   6: "?ignition_off"
   7: "#ignition_off.?door_locked"
   8: "~HALT_REG_11_,HALT_REG_1_,~HALT_REG_5_,~BOOT_REGISTER_"
   9: "?ignition_on.#ignition_off.!door_lock"
   10: "#ignition_on+?ignition_on.?ignition_off"
   11: "HALT_REG_11_,~HALT_REG_1_,~HALT_REG_5_,~BOOT_REGISTER_"
   12: "#ignition_off.?door_opened.!door_lock.!alarm"
   13: "#ignition_off.#door_opened.#accel+#ignition_off.#door_opened.?accel.!control_throttle"
boxes
   0: 0 0 0 0 names name logic 0 h 0 0  hook 1 h 0 0  
vertices
   0: initial  129 54 names name struct 2 h 246 48  
   1: 264 197 names name struct 4 h 209 191  
   2: 264 54 names name struct 8 h 215 48  
   3: 263 370 names name struct 11 h 206 364  
edges
   0: 0 2 p 255 54 names name behav 3 174 53  p 137 54
   1: 1 1 p 271 193 p 326 163 names name behav 5 293 192  p 325 234 p 270 201
   2: 1 2 p 256 57 p 120 114 names name behav 6 93 120  p 257 193
   3: 1 3 p 263 362 names name behav 7 197 295  p 263 204
   4: 2 1 p 264 189 names name behav 9 206 114  p 264 61
   5: 2 2 p 270 49 p 298 27 names name behav 10 181 11  p 227 27 p 257 49
   6: 3 1 p 256 200 p 123 255 names name behav 12 11 267  p 256 364
   7: 3 2 p 271 57 p 518 170 names name behav 6 448 149  p 269 365
   8: 3 3 p 256 374 p 211 411 names name behav 13 55 423  p 302 411 p 268 375