p2
type: Place
ID: p2
label: Place2
position: p2posGIdesc
initial marking: p2initmarking
marking: p2marking
name: p2name

p2posGIdesc
x: 216
y: 119
label: p2posGIdesc
type: Absolute Position

p2name
type: Name
value name: Place2
label: Place2
graphical information: p2nameGI

p2nameGI
type: GraphicalInformation
label: p2nameGIdesc
position: p2nameGIdesc

p2nameGIdesc
x: 216
y: 119
label: p2nameGIdesc
type: Absolute Position

p2initmarking
type: InitialMarking
label: p2initmarking
graphical information: p2initmarkingGI
tokens: p2initmarkingTokens

p2initmarkingGI
type: GraphicalInformation
label: p2initmarkingposGIdesc
position: p2initmarkingposGIdesc

p2initmarkingposGIdesc
x: 216
y: 119
label: p2initmarkingposGIdesc
type: Absolute Position

p2initmarkingTokens
type: IntegerToken
value: 0
label: 0

p2marking
type: Marking
label: p2marking
graphical information: p2markingGI
tokens: p2markingTokens

p2markingGI
type: GraphicalInformation
label: p2markingposGIdesc
position: p2markingposGIdesc

p2markingposGIdesc
x: 216
y: 119
label: p2markingposGIdesc
type: Absolute Position

p2markingTokens
type: IntegerToken
value: 0
label: 0

p3
type: Place
ID: p3
label: Place3
position: p3posGIdesc
initial marking: p3initmarking
marking: p3marking
name: p3name

p3posGIdesc
x: 440
y: 116
label: p3posGIdesc
type: Absolute Position

p3name
type: Name
value name: Place3
label: Place3
graphical information: p3nameGI

p3nameGI
type: GraphicalInformation
label: p3nameGIdesc
position: p3nameGIdesc

p3nameGIdesc
x: 440
y: 116
label: p3nameGIdesc
type: Absolute Position

p3initmarking
type: InitialMarking
label: p3initmarking
graphical information: p3initmarkingGI
tokens: p3initmarkingTokens

p3initmarkingGI
type: GraphicalInformation
label: p3initmarkingposGIdesc
position: p3initmarkingposGIdesc

p3initmarkingposGIdesc
x: 440
y: 116
label: p3initmarkingposGIdesc
type: Absolute Position

p3initmarkingTokens
type: IntegerToken
value: 1
label: 1

p3marking
type: Marking
label: p3marking
graphical information: p3markingGI
tokens: p3markingTokens

p3markingGI
type: GraphicalInformation
label: p3markingposGIdesc
position: p3markingposGIdesc

p3markingposGIdesc
x: 440
y: 116
label: p3markingposGIdesc
type: Absolute Position

p3markingTokens
type: IntegerToken
value: 1
label: 1

p4
type: Place
ID: p4
label: Place4
position: p4posGIdesc
initial marking: p4initmarking
marking: p4marking
name: p4name

p4posGIdesc
x: 217
y: 345
label: p4posGIdesc
type: Absolute Position

p4name
type: Name
value name: Place4
label: Place4
graphical information: p4nameGI

p4nameGI
type: GraphicalInformation
label: p4nameGIdesc
position: p4nameGIdesc

p4nameGIdesc
x: 217
y: 345
label: p4nameGIdesc
type: Absolute Position

p4initmarking
type: InitialMarking
label: p4initmarking
graphical information: p4initmarkingGI
tokens: p4initmarkingTokens

p4initmarkingGI
type: GraphicalInformation
label: p4initmarkingposGIdesc
position: p4initmarkingposGIdesc

p4initmarkingposGIdesc
x: 217
y: 345
label: p4initmarkingposGIdesc
type: Absolute Position

p4initmarkingTokens
type: IntegerToken
value: 1
label: 1

p4marking
type: Marking
label: p4marking
graphical information: p4markingGI
tokens: p4markingTokens

p4markingGI
type: GraphicalInformation
label: p4markingposGIdesc
position: p4markingposGIdesc

p4markingposGIdesc
x: 217
y: 345
label: p4markingposGIdesc
type: Absolute Position

p4markingTokens
type: IntegerToken
value: 1
label: 1

p5
type: Place
ID: p5
label: Place5
position: p5posGIdesc
initial marking: p5initmarking
marking: p5marking
name: p5name

p5posGIdesc
x: 441
y: 341
label: p5posGIdesc
type: Absolute Position

p5name
type: Name
value name: Place5
label: Place5
graphical information: p5nameGI

p5nameGI
type: GraphicalInformation
label: p5nameGIdesc
position: p5nameGIdesc

p5nameGIdesc
x: 441
y: 341
label: p5nameGIdesc
type: Absolute Position

p5initmarking
type: InitialMarking
label: p5initmarking
graphical information: p5initmarkingGI
tokens: p5initmarkingTokens

p5initmarkingGI
type: GraphicalInformation
label: p5initmarkingposGIdesc
position: p5initmarkingposGIdesc

p5initmarkingposGIdesc
x: 441
y: 341
label: p5initmarkingposGIdesc
type: Absolute Position

p5initmarkingTokens
type: IntegerToken
value: 0
label: 0

p5marking
type: Marking
label: p5marking
graphical information: p5markingGI
tokens: p5markingTokens

p5markingGI
type: GraphicalInformation
label: p5markingposGIdesc
position: p5markingposGIdesc

p5markingposGIdesc
x: 441
y: 341
label: p5markingposGIdesc
type: Absolute Position

p5markingTokens
type: IntegerToken
value: 0
label: 0

p6
type: Place
ID: p6
label: Place6
position: p6posGIdesc
initial marking: p6initmarking
marking: p6marking
name: p6name

p6posGIdesc
x: 385
y: 222
label: p6posGIdesc
type: Absolute Position

p6name
type: Name
value name: Place6
label: Place6
graphical information: p6nameGI

p6nameGI
type: GraphicalInformation
label: p6nameGIdesc
position: p6nameGIdesc

p6nameGIdesc
x: 385
y: 222
label: p6nameGIdesc
type: Absolute Position

p6initmarking
type: InitialMarking
label: p6initmarking
graphical information: p6initmarkingGI
tokens: p6initmarkingTokens

p6initmarkingGI
type: GraphicalInformation
label: p6initmarkingposGIdesc
position: p6initmarkingposGIdesc

p6initmarkingposGIdesc
x: 385
y: 222
label: p6initmarkingposGIdesc
type: Absolute Position

p6initmarkingTokens
type: IntegerToken
value: 1
label: 1

p6marking
type: Marking
label: p6marking
graphical information: p6markingGI
tokens: p6markingTokens

p6markingGI
type: GraphicalInformation
label: p6markingposGIdesc
position: p6markingposGIdesc

p6markingposGIdesc
x: 385
y: 222
label: p6markingposGIdesc
type: Absolute Position

p6markingTokens
type: IntegerToken
value: 1
label: 1

p7
type: Place
ID: p7
label: Place7
position: p7posGIdesc
initial marking: p7initmarking
marking: p7marking
name: p7name

p7posGIdesc
x: 217
y: 565
label: p7posGIdesc
type: Absolute Position

p7name
type: Name
value name: Place7
label: Place7
graphical information: p7nameGI

p7nameGI
type: GraphicalInformation
label: p7nameGIdesc
position: p7nameGIdesc

p7nameGIdesc
x: 217
y: 565
label: p7nameGIdesc
type: Absolute Position

p7initmarking
type: InitialMarking
label: p7initmarking
graphical information: p7initmarkingGI
tokens: p7initmarkingTokens

p7initmarkingGI
type: GraphicalInformation
label: p7initmarkingposGIdesc
position: p7initmarkingposGIdesc

p7initmarkingposGIdesc
x: 217
y: 565
label: p7initmarkingposGIdesc
type: Absolute Position

p7initmarkingTokens
type: IntegerToken
value: 1
label: 1

p7marking
type: Marking
label: p7marking
graphical information: p7markingGI
tokens: p7markingTokens

p7markingGI
type: GraphicalInformation
label: p7markingposGIdesc
position: p7markingposGIdesc

p7markingposGIdesc
x: 217
y: 565
label: p7markingposGIdesc
type: Absolute Position

p7markingTokens
type: IntegerToken
value: 1
label: 1

p8
type: Place
ID: p8
label: Place8
position: p8posGIdesc
initial marking: p8initmarking
marking: p8marking
name: p8name

p8posGIdesc
x: 450
y: 570
label: p8posGIdesc
type: Absolute Position

p8name
type: Name
value name: Place8
label: Place8
graphical information: p8nameGI

p8nameGI
type: GraphicalInformation
label: p8nameGIdesc
position: p8nameGIdesc

p8nameGIdesc
x: 450
y: 570
label: p8nameGIdesc
type: Absolute Position

p8initmarking
type: InitialMarking
label: p8initmarking
graphical information: p8initmarkingGI
tokens: p8initmarkingTokens

p8initmarkingGI
type: GraphicalInformation
label: p8initmarkingposGIdesc
position: p8initmarkingposGIdesc

p8initmarkingposGIdesc
x: 450
y: 570
label: p8initmarkingposGIdesc
type: Absolute Position

p8initmarkingTokens
type: IntegerToken
value: 0
label: 0

p8marking
type: Marking
label: p8marking
graphical information: p8markingGI
tokens: p8markingTokens

p8markingGI
type: GraphicalInformation
label: p8markingposGIdesc
position: p8markingposGIdesc

p8markingposGIdesc
x: 450
y: 570
label: p8markingposGIdesc
type: Absolute Position

p8markingTokens
type: IntegerToken
value: 0
label: 0

p9
type: Place
ID: p9
label: Place9
position: p9posGIdesc
initial marking: p9initmarking
marking: p9marking
name: p9name

p9posGIdesc
x: 387
y: 449
label: p9posGIdesc
type: Absolute Position

p9name
type: Name
value name: Place9
label: Place9
graphical information: p9nameGI

p9nameGI
type: GraphicalInformation
label: p9nameGIdesc
position: p9nameGIdesc

p9nameGIdesc
x: 387
y: 449
label: p9nameGIdesc
type: Absolute Position

p9initmarking
type: InitialMarking
label: p9initmarking
graphical information: p9initmarkingGI
tokens: p9initmarkingTokens

p9initmarkingGI
type: GraphicalInformation
label: p9initmarkingposGIdesc
position: p9initmarkingposGIdesc

p9initmarkingposGIdesc
x: 387
y: 449
label: p9initmarkingposGIdesc
type: Absolute Position

p9initmarkingTokens
type: IntegerToken
value: 0
label: 0

p9marking
type: Marking
label: p9marking
graphical information: p9markingGI
tokens: p9markingTokens

p9markingGI
type: GraphicalInformation
label: p9markingposGIdesc
position: p9markingposGIdesc

p9markingposGIdesc
x: 387
y: 449
label: p9markingposGIdesc
type: Absolute Position

p9markingTokens
type: IntegerToken
value: 0
label: 0

p10
type: Place
ID: p10
label: Place10
position: p10posGIdesc
initial marking: p10initmarking
marking: p10marking
name: p10name

p10posGIdesc
x: 391
y: 678
label: p10posGIdesc
type: Absolute Position

p10name
type: Name
value name: Place10
label: Place10
graphical information: p10nameGI

p10nameGI
type: GraphicalInformation
label: p10nameGIdesc
position: p10nameGIdesc

p10nameGIdesc
x: 391
y: 678
label: p10nameGIdesc
type: Absolute Position

p10initmarking
type: InitialMarking
label: p10initmarking
graphical information: p10initmarkingGI
tokens: p10initmarkingTokens

p10initmarkingGI
type: GraphicalInformation
label: p10initmarkingposGIdesc
position: p10initmarkingposGIdesc

p10initmarkingposGIdesc
x: 391
y: 678
label: p10initmarkingposGIdesc
type: Absolute Position

p10initmarkingTokens
type: IntegerToken
value: 0
label: 0

p10marking
type: Marking
label: p10marking
graphical information: p10markingGI
tokens: p10markingTokens

p10markingGI
type: GraphicalInformation
label: p10markingposGIdesc
position: p10markingposGIdesc

p10markingposGIdesc
x: 391
y: 678
label: p10markingposGIdesc
type: Absolute Position

p10markingTokens
type: IntegerToken
value: 0
label: 0

p11
type: Place
ID: p11
label: Place11
position: p11posGIdesc
initial marking: p11initmarking
marking: p11marking
name: p11name

p11posGIdesc
x: 559
y: 30
label: p11posGIdesc
type: Absolute Position

p11name
type: Name
value name: Place11
label: Place11
graphical information: p11nameGI

p11nameGI
type: GraphicalInformation
label: p11nameGIdesc
position: p11nameGIdesc

p11nameGIdesc
x: 559
y: 30
label: p11nameGIdesc
type: Absolute Position

p11initmarking
type: InitialMarking
label: p11initmarking
graphical information: p11initmarkingGI
tokens: p11initmarkingTokens

p11initmarkingGI
type: GraphicalInformation
label: p11initmarkingposGIdesc
position: p11initmarkingposGIdesc

p11initmarkingposGIdesc
x: 559
y: 30
label: p11initmarkingposGIdesc
type: Absolute Position

p11initmarkingTokens
type: IntegerToken
value: 6
label: 6

p11marking
type: Marking
label: p11marking
graphical information: p11markingGI
tokens: p11markingTokens

p11markingGI
type: GraphicalInformation
label: p11markingposGIdesc
position: p11markingposGIdesc

p11markingposGIdesc
x: 559
y: 30
label: p11markingposGIdesc
type: Absolute Position

p11markingTokens
type: IntegerToken
value: 6
label: 6

p12
type: Place
ID: p12
label: Place12
position: p12posGIdesc
initial marking: p12initmarking
marking: p12marking
name: p12name

p12posGIdesc
x: 782
y: 341
label: p12posGIdesc
type: Absolute Position

p12name
type: Name
value name: Place12
label: Place12
graphical information: p12nameGI

p12nameGI
type: GraphicalInformation
label: p12nameGIdesc
position: p12nameGIdesc

p12nameGIdesc
x: 782
y: 341
label: p12nameGIdesc
type: Absolute Position

p12initmarking
type: InitialMarking
label: p12initmarking
graphical information: p12initmarkingGI
tokens: p12initmarkingTokens

p12initmarkingGI
type: GraphicalInformation
label: p12initmarkingposGIdesc
position: p12initmarkingposGIdesc

p12initmarkingposGIdesc
x: 782
y: 341
label: p12initmarkingposGIdesc
type: Absolute Position

p12initmarkingTokens
type: IntegerToken
value: 0
label: 0

p12marking
type: Marking
label: p12marking
graphical information: p12markingGI
tokens: p12markingTokens

p12markingGI
type: GraphicalInformation
label: p12markingposGIdesc
position: p12markingposGIdesc

p12markingposGIdesc
x: 782
y: 341
label: p12markingposGIdesc
type: Absolute Position

p12markingTokens
type: IntegerToken
value: 0
label: 0

t2
type: Transition
ID: t2
label: Transition2
position: t2posGIdesc
name: t2name

t2posGIdesc
x: 108
y: 119
label: t2posGIdesc
type: Absolute Position

t2name
type: Name
value name: Transition2
label: Transition2
graphical information: t2nameGI

t2nameGI
type: GraphicalInformation
label: t2nameGIdesc
position: t2nameGIdesc

t2nameGIdesc
x: 108
y: 119
label: t2nameGIdesc
type: Absolute Position

t3
type: Transition
ID: t3
label: Transition3
position: t3posGIdesc
name: t3name

t3posGIdesc
x: 328
y: 115
label: t3posGIdesc
type: Absolute Position

t3name
type: Name
value name: Transition3
label: Transition3
graphical information: t3nameGI

t3nameGI
type: GraphicalInformation
label: t3nameGIdesc
position: t3nameGIdesc

t3nameGIdesc
x: 328
y: 115
label: t3nameGIdesc
type: Absolute Position

t4
type: Transition
ID: t4
label: Transition4
position: t4posGIdesc
name: t4name

t4posGIdesc
x: 105
y: 345
label: t4posGIdesc
type: Absolute Position

t4name
type: Name
value name: Transition4
label: Transition4
graphical information: t4nameGI

t4nameGI
type: GraphicalInformation
label: t4nameGIdesc
position: t4nameGIdesc

t4nameGIdesc
x: 105
y: 345
label: t4nameGIdesc
type: Absolute Position

t5
type: Transition
ID: t5
label: Transition5
position: t5posGIdesc
name: t5name

t5posGIdesc
x: 330
y: 341
label: t5posGIdesc
type: Absolute Position

t5name
type: Name
value name: Transition5
label: Transition5
graphical information: t5nameGI

t5nameGI
type: GraphicalInformation
label: t5nameGIdesc
position: t5nameGIdesc

t5nameGIdesc
x: 330
y: 341
label: t5nameGIdesc
type: Absolute Position

t6
type: Transition
ID: t6
label: Transition6
position: t6posGIdesc
name: t6name

t6posGIdesc
x: 93
y: 565
label: t6posGIdesc
type: Absolute Position

t6name
type: Name
value name: Transition6
label: Transition6
graphical information: t6nameGI

t6nameGI
type: GraphicalInformation
label: t6nameGIdesc
position: t6nameGIdesc

t6nameGIdesc
x: 93
y: 565
label: t6nameGIdesc
type: Absolute Position

t7
type: Transition
ID: t7
label: Transition7
position: t7posGIdesc
name: t7name

t7posGIdesc
x: 332
y: 569
label: t7posGIdesc
type: Absolute Position

t7name
type: Name
value name: Transition7
label: Transition7
graphical information: t7nameGI

t7nameGI
type: GraphicalInformation
label: t7nameGIdesc
position: t7nameGIdesc

t7nameGIdesc
x: 332
y: 569
label: t7nameGIdesc
type: Absolute Position

t8
type: Transition
ID: t8
label: copy cond
position: t8posGIdesc
name: t8name

t8posGIdesc
x: 635
y: 116
label: t8posGIdesc
type: Absolute Position

t8name
type: Name
value name: copy cond
label: copy cond
graphical information: t8nameGI

t8nameGI
type: GraphicalInformation
label: t8nameGIdesc
position: t8nameGIdesc

t8nameGIdesc
x: 635
y: 116
label: t8nameGIdesc
type: Absolute Position

t9
type: Transition
ID: t9
label: copy cond
position: t9posGIdesc
name: t9name

t9posGIdesc
x: 634
y: 341
label: t9posGIdesc
type: Absolute Position

t9name
type: Name
value name: copy cond
label: copy cond
graphical information: t9nameGI

t9nameGI
type: GraphicalInformation
label: t9nameGIdesc
position: t9nameGIdesc

t9nameGIdesc
x: 634
y: 341
label: t9nameGIdesc
type: Absolute Position

t10
type: Transition
ID: t10
label: copy cond
position: t10posGIdesc
name: t10name

t10posGIdesc
x: 629
y: 570
label: t10posGIdesc
type: Absolute Position

t10name
type: Name
value name: copy cond
label: copy cond
graphical information: t10nameGI

t10nameGI
type: GraphicalInformation
label: t10nameGIdesc
position: t10nameGIdesc

t10nameGIdesc
x: 629
y: 570
label: t10nameGIdesc
type: Absolute Position

t11
type: Transition
ID: t11
label: Transition11
position: t11posGIdesc
name: t11name

t11posGIdesc
x: 917
y: 341
label: t11posGIdesc
type: Absolute Position

t11name
type: Name
value name: Transition11
label: Transition11
graphical information: t11nameGI

t11nameGI
type: GraphicalInformation
label: t11nameGIdesc
position: t11nameGIdesc

t11nameGIdesc
x: 917
y: 341
label: t11nameGIdesc
type: Absolute Position

a0
type: Arc
ID: a0
arc type: normal
label: a0
to node: p12
multiplicity: a0multi
from node: t9

a0multi
type: Multiplicity
value: 1
label: 1
graphical information: a0multiGI

a0multiGI
type: GraphicalInformation
label: a0multiGIdesc
position: a0multiGIdesc

a0multiGIdesc
x: 701
y: 341
label: a0multiGI
type: Relative Position

a1
type: Arc
ID: a1
arc type: normal
label: a1
to node: p12
multiplicity: a1multi
from node: t10
breaking points: a1breakPt1

a1multi
type: Multiplicity
value: 1
label: 1
graphical information: a1multiGI

a1multiGI
type: GraphicalInformation
label: a1multiGIdesc
position: a1multiGIdesc

a1multiGIdesc
x: 782
y: 462
label: a1multiGI
type: Relative Position

a1breakPt1
x: 782
y: 571
label: a1breakPt1
type: Absolute Position

a2
type: Arc
ID: a2
arc type: normal
label: a2
to node: p12
multiplicity: a2multi
from node: t8
breaking points: a2breakPt1

a2multi
type: Multiplicity
value: 1
label: 1
graphical information: a2multiGI

a2multiGI
type: GraphicalInformation
label: a2multiGIdesc
position: a2multiGIdesc

a2multiGIdesc
x: 781
y: 222
label: a2multiGI
type: Relative Position

a2breakPt1
x: 781
y: 117
label: a2breakPt1
type: Absolute Position

a3
type: Arc
ID: a3
arc type: normal
label: a3
to node: t11
multiplicity: a3multi
from node: p12

a3multi
type: Multiplicity
value: 1
label: 1
graphical information: a3multiGI

a3multiGI
type: GraphicalInformation
label: a3multiGIdesc
position: a3multiGIdesc

a3multiGIdesc
x: 849
y: 341
label: a3multiGI
type: Relative Position

a4
type: Arc
ID: a4
arc type: normal
label: a4
to node: p11
multiplicity: a4multi
from node: t11
breaking points: a4breakPt1
breaking points: a4breakPt2

a4multi
type: Multiplicity
value: 1
label: 1
graphical information: a4multiGI

a4multiGI
type: GraphicalInformation
label: a4multiGIdesc
position: a4multiGIdesc

a4multiGIdesc
x: 784
y: 30
label: a4multiGI
type: Relative Position

a4breakPt1
x: 997
y: 341
label: a4breakPt1
type: Absolute Position

a4breakPt2
x: 998
y: 31
label: a4breakPt2
type: Absolute Position

a5
type: Arc
ID: a5
arc type: normal
label: a5
to node: t8
multiplicity: a5multi
from node: p3

a5multi
type: Multiplicity
value: 1
label: 1
graphical information: a5multiGI

a5multiGI
type: GraphicalInformation
label: a5multiGIdesc
position: a5multiGIdesc

a5multiGIdesc
x: 537
y: 116
label: a5multiGI
type: Relative Position

a6
type: Arc
ID: a6
arc type: normal
label: a6
to node: t9
multiplicity: a6multi
from node: p5

a6multi
type: Multiplicity
value: 1
label: 1
graphical information: a6multiGI

a6multiGI
type: GraphicalInformation
label: a6multiGIdesc
position: a6multiGIdesc

a6multiGIdesc
x: 537
y: 341
label: a6multiGI
type: Relative Position

a7
type: Arc
ID: a7
arc type: normal
label: a7
to node: t10
multiplicity: a7multi
from node: p8

a7multi
type: Multiplicity
value: 1
label: 1
graphical information: a7multiGI

a7multiGI
type: GraphicalInformation
label: a7multiGIdesc
position: a7multiGIdesc

a7multiGIdesc
x: 539
y: 570
label: a7multiGI
type: Relative Position

a8
type: Arc
ID: a8
arc type: normal
label: a8
to node: p3
multiplicity: a8multi
from node: t3

a8multi
type: Multiplicity
value: 1
label: 1
graphical information: a8multiGI

a8multiGI
type: GraphicalInformation
label: a8multiGIdesc
position: a8multiGIdesc

a8multiGIdesc
x: 377
y: 115
label: a8multiGI
type: Relative Position

a9
type: Arc
ID: a9
arc type: normal
label: a9
to node: p6
multiplicity: a9multi
from node: t3

a9multi
type: Multiplicity
value: 1
label: 1
graphical information: a9multiGI

a9multiGI
type: GraphicalInformation
label: a9multiGIdesc
position: a9multiGIdesc

a9multiGIdesc
x: 353
y: 162
label: a9multiGI
type: Relative Position

a10
type: Arc
ID: a10
arc type: normal
label: a10
to node: p5
multiplicity: a10multi
from node: t5

a10multi
type: Multiplicity
value: 1
label: 1
graphical information: a10multiGI

a10multiGI
type: GraphicalInformation
label: a10multiGIdesc
position: a10multiGIdesc

a10multiGIdesc
x: 379
y: 341
label: a10multiGI
type: Relative Position

a11
type: Arc
ID: a11
arc type: normal
label: a11
to node: p9
multiplicity: a11multi
from node: t5

a11multi
type: Multiplicity
value: 1
label: 1
graphical information: a11multiGI

a11multiGI
type: GraphicalInformation
label: a11multiGIdesc
position: a11multiGIdesc

a11multiGIdesc
x: 355
y: 389
label: a11multiGI
type: Relative Position

a12
type: Arc
ID: a12
arc type: normal
label: a12
to node: p8
multiplicity: a12multi
from node: t7

a12multi
type: Multiplicity
value: 1
label: 1
graphical information: a12multiGI

a12multiGI
type: GraphicalInformation
label: a12multiGIdesc
position: a12multiGIdesc

a12multiGIdesc
x: 384
y: 569
label: a12multiGI
type: Relative Position

a13
type: Arc
ID: a13
arc type: normal
label: a13
to node: p10
multiplicity: a13multi
from node: t7

a13multi
type: Multiplicity
value: 1
label: 1
graphical information: a13multiGI

a13multiGI
type: GraphicalInformation
label: a13multiGIdesc
position: a13multiGIdesc

a13multiGIdesc
x: 358
y: 617
label: a13multiGI
type: Relative Position

a14
type: Arc
ID: a14
arc type: inhibitor
label: a14
to node: t5
multiplicity: a14multi
from node: p4

a14multi
type: Multiplicity
value: 1
label: 1
graphical information: a14multiGI

a14multiGI
type: GraphicalInformation
label: a14multiGIdesc
position: a14multiGIdesc

a14multiGIdesc
x: 273
y: 343
label: a14multiGI
type: Relative Position

a15
type: Arc
ID: a15
arc type: inhibitor
label: a15
to node: t7
multiplicity: a15multi
from node: p7

a15multi
type: Multiplicity
value: 1
label: 1
graphical information: a15multiGI

a15multiGI
type: GraphicalInformation
label: a15multiGIdesc
position: a15multiGIdesc

a15multiGIdesc
x: 274
y: 567
label: a15multiGI
type: Relative Position

a16
type: Arc
ID: a16
arc type: inhibitor
label: a16
to node: t3
multiplicity: a16multi
from node: p2

a16multi
type: Multiplicity
value: 1
label: 1
graphical information: a16multiGI

a16multiGI
type: GraphicalInformation
label: a16multiGIdesc
position: a16multiGIdesc

a16multiGIdesc
x: 272
y: 117
label: a16multiGI
type: Relative Position

a17
type: Arc
ID: a17
arc type: normal
label: a17
to node: t2
multiplicity: a17multi
from node: p2

a17multi
type: Multiplicity
value: 1
label: 1
graphical information: a17multiGI

a17multiGI
type: GraphicalInformation
label: a17multiGIdesc
position: a17multiGIdesc

a17multiGIdesc
x: 162
y: 119
label: a17multiGI
type: Relative Position

a18
type: Arc
ID: a18
arc type: normal
label: a18
to node: t4
multiplicity: a18multi
from node: p4

a18multi
type: Multiplicity
value: 1
label: 1
graphical information: a18multiGI

a18multiGI
type: GraphicalInformation
label: a18multiGIdesc
position: a18multiGIdesc

a18multiGIdesc
x: 161
y: 345
label: a18multiGI
type: Relative Position

a19
type: Arc
ID: a19
arc type: normal
label: a19
to node: t6
multiplicity: a19multi
from node: p7

a19multi
type: Multiplicity
value: 1
label: 1
graphical information: a19multiGI

a19multiGI
type: GraphicalInformation
label: a19multiGIdesc
position: a19multiGIdesc

a19multiGIdesc
x: 155
y: 565
label: a19multiGI
type: Relative Position

a20
type: Arc
ID: a20
arc type: normal
label: a20
to node: p2
multiplicity: a20multi
from node: t2
breaking points: a20breakPt1
breaking points: a20breakPt2

a20multi
type: Multiplicity
value: 1
label: 1
graphical information: a20multiGI

a20multiGI
type: GraphicalInformation
label: a20multiGIdesc
position: a20multiGIdesc

a20multiGIdesc
x: 197
y: 141
label: a20multiGI
type: Relative Position

a20breakPt1
x: 133
y: 155
label: a20breakPt1
type: Absolute Position

a20breakPt2
x: 188
y: 154
label: a20breakPt2
type: Absolute Position

a21
type: Arc
ID: a21
arc type: normal
label: a21
to node: p4
multiplicity: a21multi
from node: t4
breaking points: a21breakPt1
breaking points: a21breakPt2

a21multi
type: Multiplicity
value: 1
label: 1
graphical information: a21multiGI

a21multiGI
type: GraphicalInformation
label: a21multiGIdesc
position: a21multiGIdesc

a21multiGIdesc
x: 198
y: 365
label: a21multiGI
type: Relative Position

a21breakPt1
x: 131
y: 378
label: a21breakPt1
type: Absolute Position

a21breakPt2
x: 188
y: 377
label: a21breakPt2
type: Absolute Position

a22
type: Arc
ID: a22
arc type: normal
label: a22
to node: p7
multiplicity: a22multi
from node: t6
breaking points: a22breakPt1
breaking points: a22breakPt2

a22multi
type: Multiplicity
value: 1
label: 1
graphical information: a22multiGI

a22multiGI
type: GraphicalInformation
label: a22multiGIdesc
position: a22multiGIdesc

a22multiGIdesc
x: 195
y: 585
label: a22multiGI
type: Relative Position

a22breakPt1
x: 122
y: 598
label: a22breakPt1
type: Absolute Position

a22breakPt2
x: 184
y: 597
label: a22breakPt2
type: Absolute Position

a23
type: Arc
ID: a23
arc type: normal
label: a23
to node: p6
multiplicity: a23multi
from node: t2
breaking points: a23breakPt1
breaking points: a23breakPt2

a23multi
type: Multiplicity
value: 1
label: 1
graphical information: a23multiGI

a23multiGI
type: GraphicalInformation
label: a23multiGIdesc
position: a23multiGIdesc

a23multiGIdesc
x: 229
y: 223
label: a23multiGI
type: Relative Position

a23breakPt1
x: 87
y: 119
label: a23breakPt1
type: Absolute Position

a23breakPt2
x: 87
y: 224
label: a23breakPt2
type: Absolute Position

a24
type: Arc
ID: a24
arc type: normal
label: a24
to node: p9
multiplicity: a24multi
from node: t4
breaking points: a24breakPt1
breaking points: a24breakPt2

a24multi
type: Multiplicity
value: 1
label: 1
graphical information: a24multiGI

a24multiGI
type: GraphicalInformation
label: a24multiGIdesc
position: a24multiGIdesc

a24multiGIdesc
x: 229
y: 450
label: a24multiGI
type: Relative Position

a24breakPt1
x: 86
y: 345
label: a24breakPt1
type: Absolute Position

a24breakPt2
x: 85
y: 451
label: a24breakPt2
type: Absolute Position

a25
type: Arc
ID: a25
arc type: normal
label: a25
to node: p10
multiplicity: a25multi
from node: t6
breaking points: a25breakPt1
breaking points: a25breakPt2

a25multi
type: Multiplicity
value: 1
label: 1
graphical information: a25multiGI

a25multiGI
type: GraphicalInformation
label: a25multiGIdesc
position: a25multiGIdesc

a25multiGIdesc
x: 226
y: 678
label: a25multiGI
type: Relative Position

a25breakPt1
x: 76
y: 565
label: a25breakPt1
type: Absolute Position

a25breakPt2
x: 74
y: 679
label: a25breakPt2
type: Absolute Position

a26
type: Arc
ID: a26
arc type: inhibitor
label: a26
to node: t4
multiplicity: a26multi
from node: p3

a26multi
type: Multiplicity
value: 1
label: 1
graphical information: a26multiGI

a26multiGI
type: GraphicalInformation
label: a26multiGIdesc
position: a26multiGIdesc

a26multiGIdesc
x: 272
y: 230
label: a26multiGI
type: Relative Position

a27
type: Arc
ID: a27
arc type: normal
label: a27
to node: t4
multiplicity: a27multi
from node: p6

a27multi
type: Multiplicity
value: 1
label: 1
graphical information: a27multiGI

a27multiGI
type: GraphicalInformation
label: a27multiGIdesc
position: a27multiGIdesc

a27multiGIdesc
x: 245
y: 283
label: a27multiGI
type: Relative Position

a28
type: Arc
ID: a28
arc type: inhibitor
label: a28
to node: t6
multiplicity: a28multi
from node: p5

a28multi
type: Multiplicity
value: 1
label: 1
graphical information: a28multiGI

a28multiGI
type: GraphicalInformation
label: a28multiGIdesc
position: a28multiGIdesc

a28multiGIdesc
x: 267
y: 453
label: a28multiGI
type: Relative Position

a29
type: Arc
ID: a29
arc type: normal
label: a29
to node: t6
multiplicity: a29multi
from node: p9

a29multi
type: Multiplicity
value: 1
label: 1
graphical information: a29multiGI

a29multiGI
type: GraphicalInformation
label: a29multiGIdesc
position: a29multiGIdesc

a29multiGIdesc
x: 240
y: 507
label: a29multiGI
type: Relative Position

a30
type: Arc
ID: a30
arc type: normal
label: a30
to node: t7
multiplicity: a30multi
from node: p9

a30multi
type: Multiplicity
value: 1
label: 1
graphical information: a30multiGI

a30multiGI
type: GraphicalInformation
label: a30multiGIdesc
position: a30multiGIdesc

a30multiGIdesc
x: 359
y: 509
label: a30multiGI
type: Relative Position

a31
type: Arc
ID: a31
arc type: inhibitor
label: a31
to node: t7
multiplicity: a31multi
from node: p5
breaking points: a31breakPt1

a31multi
type: Multiplicity
value: 1
label: 1
graphical information: a31multiGI

a31multiGI
type: GraphicalInformation
label: a31multiGIdesc
position: a31multiGIdesc

a31multiGIdesc
x: 386
y: 533
label: a31multiGI
type: Relative Position

a31breakPt1
x: 441
y: 498
label: a31breakPt1
type: Absolute Position

a32
type: Arc
ID: a32
arc type: inhibitor
label: a32
to node: t5
multiplicity: a32multi
from node: p3
breaking points: a32breakPt1

a32multi
type: Multiplicity
value: 1
label: 1
graphical information: a32multiGI

a32multiGI
type: GraphicalInformation
label: a32multiGIdesc
position: a32multiGIdesc

a32multiGIdesc
x: 385
y: 300
label: a32multiGI
type: Relative Position

a32breakPt1
x: 440
y: 260
label: a32breakPt1
type: Absolute Position

a33
type: Arc
ID: a33
arc type: normal
label: a33
to node: t5
multiplicity: a33multi
from node: p6

a33multi
type: Multiplicity
value: 1
label: 1
graphical information: a33multiGI

a33multiGI
type: GraphicalInformation
label: a33multiGIdesc
position: a33multiGIdesc

a33multiGIdesc
x: 357
y: 281
label: a33multiGI
type: Relative Position

a34
type: Arc
ID: a34
arc type: inhibitor
label: a34
to node: t3
multiplicity: a34multi
from node: p8
breaking points: a34breakPt1
breaking points: a34breakPt2
breaking points: a34breakPt3
breaking points: a34breakPt4
breaking points: a34breakPt5
breaking points: a34breakPt6

a34multi
type: Multiplicity
value: 1
label: 1
graphical information: a34multiGI

a34multiGI
type: GraphicalInformation
label: a34multiGIdesc
position: a34multiGIdesc

a34multiGIdesc
x: 389
y: 94
label: a34multiGI
type: Relative Position

a34breakPt1
x: 452
y: 770
label: a34breakPt1
type: Absolute Position

a34breakPt2
x: 33
y: 771
label: a34breakPt2
type: Absolute Position

a34breakPt3
x: 33
y: 219
label: a34breakPt3
type: Absolute Position

a34breakPt4
x: 32
y: 24
label: a34breakPt4
type: Absolute Position

a34breakPt5
x: 446
y: 22
label: a34breakPt5
type: Absolute Position

a34breakPt6
x: 450
y: 74
label: a34breakPt6
type: Absolute Position

a35
type: Arc
ID: a35
arc type: inhibitor
label: a35
to node: t2
multiplicity: a35multi
from node: p8
breaking points: a35breakPt1
breaking points: a35breakPt2
breaking points: a35breakPt3
breaking points: a35breakPt4
breaking points: a35breakPt5
breaking points: a35breakPt6
breaking points: a35breakPt7
breaking points: a35breakPt8

a35multi
type: Multiplicity
value: 1
label: 1
graphical information: a35multiGI

a35multiGI
type: GraphicalInformation
label: a35multiGIdesc
position: a35multiGIdesc

a35multiGIdesc
x: 129
y: 101
label: a35multiGI
type: Relative Position

a35breakPt1
x: 451
y: 729
label: a35breakPt1
type: Absolute Position

a35breakPt2
x: 57
y: 728
label: a35breakPt2
type: Absolute Position

a35breakPt3
x: 44
y: 713
label: a35breakPt3
type: Absolute Position

a35breakPt4
x: 35
y: 644
label: a35breakPt4
type: Absolute Position

a35breakPt5
x: 37
y: 48
label: a35breakPt5
type: Absolute Position

a35breakPt6
x: 61
y: 32
label: a35breakPt6
type: Absolute Position

a35breakPt7
x: 152
y: 28
label: a35breakPt7
type: Absolute Position

a35breakPt8
x: 151
y: 84
label: a35breakPt8
type: Absolute Position

a36
type: Arc
ID: a36
arc type: normal
label: a36
to node: t3
multiplicity: a36multi
from node: p10
breaking points: a36breakPt1
breaking points: a36breakPt2
breaking points: a36breakPt3
breaking points: a36breakPt4
breaking points: a36breakPt5
breaking points: a36breakPt6

a36multi
type: Multiplicity
value: 1
label: 1
graphical information: a36multiGI

a36multiGI
type: GraphicalInformation
label: a36multiGIdesc
position: a36multiGIdesc

a36multiGIdesc
x: 308
y: 102
label: a36multiGI
type: Relative Position

a36breakPt1
x: 364
y: 716
label: a36breakPt1
type: Absolute Position

a36breakPt2
x: 56
y: 715
label: a36breakPt2
type: Absolute Position

a36breakPt3
x: 45
y: 667
label: a36breakPt3
type: Absolute Position

a36breakPt4
x: 47
y: 46
label: a36breakPt4
type: Absolute Position

a36breakPt5
x: 290
y: 45
label: a36breakPt5
type: Absolute Position

a36breakPt6
x: 289
y: 89
label: a36breakPt6
type: Absolute Position

a37
type: Arc
ID: a37
arc type: normal
label: a37
to node: t2
multiplicity: a37multi
from node: p10
breaking points: a37breakPt1
breaking points: a37breakPt2
breaking points: a37breakPt3
breaking points: a37breakPt4
breaking points: a37breakPt5
breaking points: a37breakPt6
breaking points: a37breakPt7
breaking points: a37breakPt8

a37multi
type: Multiplicity
value: 1
label: 1
graphical information: a37multiGI

a37multiGI
type: GraphicalInformation
label: a37multiGIdesc
position: a37multiGIdesc

a37multiGIdesc
x: 134
y: 107
label: a37multiGI
type: Relative Position

a37breakPt1
x: 357
y: 707
label: a37breakPt1
type: Absolute Position

a37breakPt2
x: 66
y: 706
label: a37breakPt2
type: Absolute Position

a37breakPt3
x: 53
y: 685
label: a37breakPt3
type: Absolute Position

a37breakPt4
x: 53
y: 122
label: a37breakPt4
type: Absolute Position

a37breakPt5
x: 63
y: 76
label: a37breakPt5
type: Absolute Position

a37breakPt6
x: 86
y: 56
label: a37breakPt6
type: Absolute Position

a37breakPt7
x: 163
y: 55
label: a37breakPt7
type: Absolute Position

a37breakPt8
x: 161
y: 95
label: a37breakPt8
type: Absolute Position

a38
type: Arc
ID: a38
arc type: normal
label: a38
to node: t8
multiplicity: a38multi
from node: p11
breaking points: a38breakPt1

a38multi
type: Multiplicity
value: 1
label: 1
graphical information: a38multiGI

a38multiGI
type: GraphicalInformation
label: a38multiGIdesc
position: a38multiGIdesc

a38multiGIdesc
x: 596
y: 107
label: a38multiGI
type: Relative Position

a38breakPt1
x: 558
y: 98
label: a38breakPt1
type: Absolute Position

a39
type: Arc
ID: a39
arc type: normal
label: a39
to node: t9
multiplicity: a39multi
from node: p11
breaking points: a39breakPt1

a39multi
type: Multiplicity
value: 1
label: 1
graphical information: a39multiGI

a39multiGI
type: GraphicalInformation
label: a39multiGIdesc
position: a39multiGIdesc

a39multiGIdesc
x: 596
y: 327
label: a39multiGI
type: Relative Position

a39breakPt1
x: 559
y: 313
label: a39breakPt1
type: Absolute Position

a40
type: Arc
ID: a40
arc type: normal
label: a40
to node: t10
multiplicity: a40multi
from node: p11
breaking points: a40breakPt1

a40multi
type: Multiplicity
value: 1
label: 1
graphical information: a40multiGI

a40multiGI
type: GraphicalInformation
label: a40multiGIdesc
position: a40multiGIdesc

a40multiGIdesc
x: 593
y: 558
label: a40multiGI
type: Relative Position

a40breakPt1
x: 558
y: 546
label: a40breakPt1
type: Absolute Position

RollCall
type: Net
ID: RollCall
type: UPN
label: RollCall
elements: p2
elements: p3
elements: p4
elements: p5
elements: p6
elements: p7
elements: p8
elements: p9
elements: p10
elements: p11
elements: p12
elements: t2
elements: t3
elements: t4
elements: t5
elements: t6
elements: t7
elements: t8
elements: t9
elements: t10
elements: t11
elements: a0
elements: a1
elements: a2
elements: a3
elements: a4
elements: a5
elements: a6
elements: a7
elements: a8
elements: a9
elements: a10
elements: a11
elements: a12
elements: a13
elements: a14
elements: a15
elements: a16
elements: a17
elements: a18
elements: a19
elements: a20
elements: a21
elements: a22
elements: a23
elements: a24
elements: a25
elements: a26
elements: a27
elements: a28
elements: a29
elements: a30
elements: a31
elements: a32
elements: a33
elements: a34
elements: a35
elements: a36
elements: a37
elements: a38
elements: a39
elements: a40

PN Ontology 00023
type: pal constraint
pal name: Place reference PAL constraint
pal range: (defrange ?placeRef :FRAME PlaceReference)
label: Place reference PAL constraint
pal statement: (forall ?placeRef ( or (instance-of (reference ?placeRef) Place) (instance-of (reference ?placeRef) PlaceReference)))

PN Ontology 00024
type: pal constraint
pal name: Transition reference PAL constraint
pal range: (defrange ?transitionRef :FRAME TransitionReference)
label: Transition reference PAL constraint
pal statement: (forall ?transitionRef ( or (instance-of (reference ?transitionRef) Transition) (instance-of (reference ?transitionRef) TransitionReference)))

PN Ontology 00043
type: pal constraint
pal name: Arc constraint
pal range: (defrange ?arc :FRAME Arc)
label: Arc constraint
pal statement: (forall ?arc(or (and (instance-of (fromNode ?arc) Transition) (instance-of (toNode ?arc) Place)) (and (instance-of (fromNode ?arc) Place) (instance-of (toNode ?arc) Transition)) (and (instance-of (fromNode ?arc) PlaceReference) (instance-of (toNode ?arc) Transition)) (and (instance-of (fromNode ?arc) Transition) (instance-of (toNode ?arc) PlaceReference)) (and (instance-of (fromNode ?arc) Place) (instance-of (toNode ?arc) TransitionReference)) (and (instance-of (fromNode ?arc) TransitionReference) (instance-of (toNode ?arc) Place)) (and (instance-of (fromNode ?arc) PlaceReference) (instance-of (toNode ?arc) TransitionReference)) (and (instance-of (fromNode ?arc) TransitionReference) (instance-of (toNode ?arc) PlaceReference)))))

PN Ontology 00121
type: pal constraint
pal name: ModuleInterface input PAL constraint
pal range: (defrange ?modInput :FRAME ModuleInterface)
label: ModuleInterface input PAL constraint
pal statement: (forall ?modInput ( or (instance-of (input ?modInput) Place) (instance-of (input ?modInput) Transition)))

PN Ontology 00122
type: pal constraint
pal name: ModuleInterface output PAL constraint
pal range: (defrange ?modOutput :FRAME ModuleInterface)
label: ModuleInterface output PAL constraint
pal statement: (forall ?modOuput ( or (instance-of (output ?modOuput) Place) (instance-of (output ?modOuput) Transition)))