TOKENTYPE transmission-state {}
TOKENTYPE xmission-state {}
TOKENTYPE block-state {}
TOKENTYPE matter {}
TOKENTYPE cardinal {}
TOKENTYPE CC {}
TOKENTYPE data {}
TOKENTYPE message-state {}
TOKENTYPE null {}
PLACE EOT {
  desc {}
  type {null}
  cap {1}
  pos {252 270}
  txp {N}
}
PLACE BlockNo {
  desc {}
  type {cardinal}
  cap {100}
  pos {288 576}
  txp {SE}
}
PLACE ETX {
  desc {}
  type {CC}
  cap {1}
  pos {468 504}
  txp {N}
}
PLACE buffer {
  desc {}
  type {data}
  cap {100}
  pos {576 576}
  txp {S}
}
PLACE transmission {
  desc {as master or slave}
  type {transmission-state}
  cap {1}
  pos {306 342}
  txp {E}
}
PLACE NAK {
  desc {}
  type {CC}
  cap {1}
  pos {252 396}
  txp {N}
}
PLACE SOH {
  desc {}
  type {CC}
  cap {1}
  pos {468 324}
  txp {N}
}
PLACE blockAbort {
  desc {}
  type {null}
  cap {1}
  pos {198 684}
  txp {E}
}
PLACE AckNo {
  desc {}
  type {cardinal}
  cap {100}
  pos {306 684}
  txp {S}
}
PLACE ENQ {
  desc {}
  type {CC}
  cap {1}
  pos {126 684}
  txp {W}
}
PLACE text {
  desc {}
  type {matter}
  cap {1}
  pos {558 504}
  txp {E}
}
PLACE wait {
  desc {}
  type {null}
  cap {1}
  pos {90 648}
  txp {S}
}
PLACE attention {
  desc {}
  type {null}
  cap {1}
  pos {180 558}
  txp {NW}
}
PLACE WACK {
  desc {}
  type {CC}
  cap {1}
  pos {90 594}
  txp {N}
}
PLACE ACK {
  desc {}
  type {CC}
  cap {1}
  pos {252 612}
  txp {N}
}
PLACE heading {
  desc {}
  type {matter}
  cap {1}
  pos {558 306}
  txp {E}
}
PLACE contention {
  desc {}
  type {transmission-state}
  cap {1}
  pos {144 306}
  txp {N}
}
PLACE RintNo {
  desc {}
  type {cardinal}
  cap {100}
  pos {216 486}
  txp {N}
}
PLACE inBlock {
  desc {}
  type {block-state}
  cap {1}
  pos {594 396}
  txp {NE}
}
PLACE DATA {
  desc {}
  type {data}
  cap {100}
  pos {576 540}
  txp {N}
}
PLACE ETB {
  desc {}
  type {CC}
  cap {1}
  pos {468 612}
  txp {S}
}
PLACE RINT {
  desc {}
  type {CC}
  cap {1}
  pos {252 486}
  txp {NE}
}
PLACE beforeBlock {
  desc {}
  type {block-state}
  cap {1}
  pos {360 396}
  txp {NW}
}
PLACE STX {
  desc {}
  type {CC}
  cap {1}
  pos {468 396}
  txp {N}
}
PLACE nothing {
  desc {}
  type {matter}
  cap {1}
  pos {414 396}
  txp {SW}
}
TRANSITION ACK1 {
  desc {}
  action {}
  pos {252 630}
  txp {SW}
  in {
    contention {
      weight {1}
      nota {}
      path {{144 630}}
      smooth {0}
    }
    attention {
      weight {1}
      nota {}
      path { {180 630} }
      smooth {0}
    }
    ACK {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
  }
  out {
    transmission {
      weight {1}
      nota {}
      path {{306 630}}
      smooth {0}
    }
    AckNo {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    BlockNo {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    beforeBlock {
      weight {1}
      nota {}
      path {{324 630} {324 396}}
      smooth {0}
    }
  }
}
TRANSITION EOT1 {
  desc {normal termination}
  action {}
  pos {252 288}
  txp {NW}
  in {
    EOT {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    beforeBlock {
      weight {1}
      nota {}
      path {{360 288}}
      smooth {0}
    }
    transmission {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    nothing {
      weight {1}
      nota {}
      path { {414 288} }
      smooth {0}
    }
  }
  out {
    contention {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
  }
}
TRANSITION ACK2 {
  desc {}
  action {}
  pos {252 648}
  txp {SW}
  in {
    attention {
      weight {1}
      nota {}
      path { {180 648} }
      smooth {0}
    }
    ACK {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
  }
  out {
    beforeBlock {
      weight {1}
      nota {}
      path {{324 648} {324 396}}
      smooth {0}
    }
    AckNo {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
  }
}
TRANSITION EOT2 {
  desc {sending station abort
(in heading)}
  action {}
  pos {252 306}
  txp {NW}
  in {
    EOT {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    beforeBlock {
      weight {1}
      nota {}
      path {{360 306}}
      smooth {0}
    }
    transmission {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    heading {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
  }
  out {
    contention {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
  }
}
TRANSITION EOT3 {
  desc {sending station abort
(in text)}
  action {}
  pos {252 324}
  txp {NW}
  in {
    EOT {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    transmission {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    text {
      weight {1}
      nota {}
      path { {558 540} {378 540} {378 324}}
      smooth {0}
    }
    beforeBlock {
      weight {1}
      nota {}
      path {{360 324}}
      smooth {0}
    }
  }
  out {
    contention {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
  }
}
TRANSITION NAK1 {
  desc {}
  action {}
  pos {252 414}
  txp {NE}
  in {
    contention {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    attention {
      weight {1}
      nota {}
      path { {180 414} }
      smooth {0}
    }
    NAK {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
  }
  out {
    contention {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
  }
}
TRANSITION SOH1 {
  desc {}
  action {}
  pos {468 342}
  txp {NW}
  in {
    SOH {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    heading {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    beforeBlock {
      weight {1}
      nota {}
      path { {360 342} }
      smooth {0}
    }
  }
  out {
    inBlock {
      weight {1}
      nota {}
      path { {594 342} }
      smooth {0}
    }
    heading {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
  }
}
TRANSITION EOT4 {
  desc {termination interrupt}
  action {}
  pos {252 360}
  txp {NW}
  in {
    EOT {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    attention {
      weight {1}
      nota {}
      path { {180 360} }
      smooth {0}
    }
    transmission {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
  }
  out {
    contention {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
  }
}
TRANSITION NAK2 {
  desc {}
  action {}
  pos {252 432}
  txp {NE}
  in {
    attention {
      weight {1}
      nota {}
      path { {180 432} }
      smooth {0}
    }
    NAK {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
  }
  out {
    beforeBlock {
      weight {1}
      nota {}
      path { {324 432} {324 396}}
      smooth {0}
    }
  }
}
TRANSITION SOH2 {
  desc {}
  action {}
  pos {468 360}
  txp {NW}
  in {
    SOH {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    nothing {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    beforeBlock {
      weight {1}
      nota {}
      path { {360 360} }
      smooth {0}
    }
  }
  out {
    inBlock {
      weight {1}
      nota {}
      path { {594 360} }
      smooth {0}
    }
    heading {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
  }
}
TRANSITION ETB1 {
  desc {}
  action {}
  pos {468 594}
  txp {NW}
  in {
    inBlock {
      weight {1}
      nota {}
      path { {630 396} {630 594} }
      smooth {0}
    }
    ETB {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
  }
  out {
    attention {
      weight {1}
      nota {}
      path { {468 558} }
      smooth {0}
    }
  }
}
TRANSITION EOT5 {
  desc {termination interrupt}
  action {}
  pos {252 342}
  txp {NW}
  in {
    EOT {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    transmission {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    blockAbort {
      weight {1}
      nota {}
      path {{198 342}}
      smooth {0}
    }
  }
  out {
    contention {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
  }
}
TRANSITION ENQ1 {
  desc {}
  action {}
  pos {126 666}
  txp {E}
  in {
    ENQ {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    contention {
      weight {1}
      nota {}
      path { {72 306} {72 666} }
      smooth {0}
    }
  }
  out {
    attention {
      weight {1}
      nota {}
      path { {126 558} }
      smooth {0}
    }
    contention {
      weight {1}
      nota {}
      path { {72 666} {72 306}}
      smooth {0}
    }
  }
}
TRANSITION NAK3 {
  desc {block abort answer}
  action {}
  pos {252 450}
  txp {NE}
  in {
    NAK {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    blockAbort {
      weight {1}
      nota {}
      path {{198 450}}
      smooth {0}
    }
  }
  out {
    beforeBlock {
      weight {1}
      nota {}
      path {{324 450} {324 396}}
      smooth {0}
    }
  }
}
TRANSITION ENQ2 {
  desc {}
  action {}
  pos {126 648}
  txp {E}
  in {
    wait {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    ENQ {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
  }
  out {
    attention {
      weight {1}
      nota {}
      path { {126 558} }
      smooth {0}
    }
  }
}
TRANSITION RINT1 {
  desc {}
  action {}
  pos {252 504}
  txp {NE}
  in {
    contention {
      weight {1}
      nota {}
      path {{144 504}}
      smooth {0}
    }
    attention {
      weight {1}
      nota {}
      path { {180 504} }
      smooth {0}
    }
    RINT {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
  }
  out {
    transmission {
      weight {1}
      nota {}
      path {{306 504}}
      smooth {0}
    }
    BlockNo {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    RintNo {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    beforeBlock {
      weight {1}
      nota {}
      path {{324 504} {324 396}}
      smooth {0}
    }
  }
}
TRANSITION ENQ3 {
  desc {block abort}
  action {}
  pos {144 684}
  txp {SE}
  in {
    inBlock {
      weight {1}
      nota {}
      path {{630 396} {630 720} {144 720} }
      smooth {0}
    }
    ENQ {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
  }
  out {
    blockAbort {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
  }
}
TRANSITION RINT2 {
  desc {}
  action {}
  pos {252 522}
  txp {NE}
  in {
    RINT {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    BlockNo {
      weight {100}
      nota {}
      path {}
      smooth {0}
    }
    attention {
      weight {1}
      nota {}
      path { {180 522} }
      smooth {0}
    }
  }
  out {
    RintNo {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    beforeBlock {
      weight {1}
      nota {}
      path {{324 522} {324 396}}
      smooth {0}
    }
  }
}
TRANSITION WACK1 {
  desc {}
  action {}
  pos {90 612}
  txp {SE}
  in {
    attention {
      weight {1}
      nota {}
      path { {180 612} }
      smooth {0}
    }
    WACK {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
  }
  out {
    wait {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
  }
}
TRANSITION STX1 {
  desc {}
  action {}
  pos {468 414}
  txp {W}
  in {
    inBlock {
      weight {1}
      nota {}
      path { {594 414} }
      smooth {0}
    }
    heading {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    STX {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
  }
  out {
    inBlock {
      weight {1}
      nota {}
      path { {594 414} }
      smooth {0}
    }
    text {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
  }
}
TRANSITION STX2 {
  desc {}
  action {}
  pos {468 432}
  txp {SW}
  in {
    heading {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    STX {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    beforeBlock {
      weight {1}
      nota {}
      path { {360 432} }
      smooth {0}
    }
  }
  out {
    inBlock {
      weight {1}
      nota {}
      path { {594 432} }
      smooth {0}
    }
    text {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
  }
}
TRANSITION STX3 {
  desc {}
  action {}
  pos {468 450}
  txp {SW}
  in {
    nothing {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    STX {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    beforeBlock {
      weight {1}
      nota {}
      path { {360 450} }
      smooth {0}
    }
  }
  out {
    text {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    inBlock {
      weight {1}
      nota {}
      path { {594 450} }
      smooth {0}
    }
  }
}
TRANSITION ETX1 {
  desc {}
  action {}
  pos {468 522}
  txp {SW}
  in {
    text {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    inBlock {
      weight {1}
      nota {}
      path { {630 396} {630 522}}
      smooth {0}
    }
    ETX {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
  }
  out {
    attention {
      weight {1}
      nota {}
      path { {468 558} }
      smooth {0}
    }
    nothing {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
  }
}
TRANSITION STX4 {
  desc {}
  action {}
  pos {468 468}
  txp {SW}
  in {
    text {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    STX {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    beforeBlock {
      weight {1}
      nota {}
      path { {360 468} }
      smooth {0}
    }
  }
  out {
    text {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    inBlock {
      weight {1}
      nota {}
      path { {594 468} }
      smooth {0}
    }
  }
}
TRANSITION DATA1 {
  desc {send or receive a block full of data}
  action {}
  pos {594 558}
  txp {W}
  in {
    inBlock {
      weight {1}
      nota {}
      path { {630 396} {630 558} }
      smooth {0}
    }
    DATA {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
  }
  out {
    inBlock {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
    buffer {
      weight {1}
      nota {}
      path {}
      smooth {0}
    }
  }
}