graph [
    comment "This graph was created by 'Circles and Arrows in the Sand' Software"
    directed 1
    id 1
    selection_area 22,14,463,194
    data0.0 Reset
    data0.1 reset
    data0.2 1
    data0.3 System is reset.
    data1.0 Token Accepted
    data1.1 token
    data1.2 3
    data1.3 A token is accepted into the system
    data2.0 Request Pop
    data2.1 request
    data2.2 2
    data2.3 A pop is requested when there are sufficient tokens to warrent delivery
    data3.0 Deliver Pop
    data3.1 deliver
    data3.2 4
    data3.3 The delivery of a pop has completed
    data4.0 Token Rejected
    data4.1 reject
    data4.2 5
    data4.3 An attempted token insert is rejected because the system allready contains the maximum number of tokens
    node [
        id 0
        x 86
        y 111
        r 28
        a 3
        dx 1.0
        dy 0.0
        l initial state
    ]
    node [
        id 1
        x 240
        y 114
        r 32
        a 0
        l some credits exist
    ]
    node [
        id 2
        x 404
        y 113
        r 37
        a 0
        l a pop is being delivered
    ]
    edge [
        source 0
        target 0
        x1 73.579895
        y1 85.905365
        ctrlx1 48.634495
        ctrly1 54.1861
        ctrlx2 114.275444
        ctrly2 54.70169
        x2 100.85301
        y2 77.11212
        dx -0.023249527
        dy -0.9997297
        tdi 0
        gtx -12
        gty -9
    ]
    edge [
        source 0
        target 1
        x1 112.0
        y1 102.0
        ctrlx1 138.0
        ctrly1 79.0
        ctrlx2 179.0
        ctrly2 74.0
        x2 214.78322
        y2 94.29939
        dx -0.7880244
        dy -0.61564404
        tdi 1
        gtx -17
        gty -7
    ]
    edge [
        source 1
        target 1
        x1 228.23749
        y1 84.24024
        ctrlx1 205.57129
        ctrly1 50.765003
        ctrlx2 274.94122
        ctrly2 56.832596
        x2 259.52176
        y2 77.94586
        dx 0.05989229
        dy -0.9982048
        tdi 1,4
        gtx -33
        gty -13
    ]
    edge [
        source 1
        target 2
        x1 270.0
        y1 102.0
        ctrlx1 302.0
        ctrly1 78.0
        ctrlx2 338.0
        ctrly2 76.0
        x2 369.80234
        y2 98.87487
        dx -0.9982744
        dy -0.058722023
        tdi 2
        gtx -20
        gty -14
    ]
    edge [
        source 2
        target 1
        x1 369.0
        y1 125.0
        ctrlx1 340.0
        ctrly1 141.0
        ctrlx2 320.0
        ctrly2 155.0
        x2 272.0
        y2 120.0
        dx -1.0
        dy 0.0
        tdi 3
        gtx -25
        gty 23
    ]
    edge [
        source 1
        target 0
        x1 210.0
        y1 124.0
        ctrlx1 180.0
        ctrly1 152.0
        ctrlx2 135.0
        ctrly2 149.0
        x2 111.77629
        y2 121.935394
        dx 1.0
        dy 0.0
        tdi 0
        gtx -12
        gty 19
    ]
]