p19
type: Place
ID: p19
label: C5
position: p19posGIdesc
initial marking: p19initmarking
marking: p19marking
name: p19name

p19posGIdesc
x: 334
y: 228
label: p19posGIdesc
type: Absolute Position

p19name
type: Name
value name: C5
label: C5
graphical information: p19nameGI

p19nameGI
type: GraphicalInformation
label: p19nameGIdesc
position: p19nameGIdesc

p19nameGIdesc
x: 334
y: 228
label: p19nameGIdesc
type: Absolute Position

p19initmarking
type: InitialMarking
label: p19initmarking
graphical information: p19initmarkingGI
tokens: p19initmarkingTokens

p19initmarkingGI
type: GraphicalInformation
label: p19initmarkingposGIdesc
position: p19initmarkingposGIdesc

p19initmarkingposGIdesc
x: 334
y: 228
label: p19initmarkingposGIdesc
type: Absolute Position

p19initmarkingTokens
type: IntegerToken
value: 1
label: 1

p19marking
type: Marking
label: p19marking
graphical information: p19markingGI
tokens: p19markingTokens

p19markingGI
type: GraphicalInformation
label: p19markingposGIdesc
position: p19markingposGIdesc

p19markingposGIdesc
x: 334
y: 228
label: p19markingposGIdesc
type: Absolute Position

p19markingTokens
type: IntegerToken
value: 1
label: 1

p20
type: Place
ID: p20
label: M5
position: p20posGIdesc
initial marking: p20initmarking
marking: p20marking
name: p20name

p20posGIdesc
x: 277
y: 269
label: p20posGIdesc
type: Absolute Position

p20name
type: Name
value name: M5
label: M5
graphical information: p20nameGI

p20nameGI
type: GraphicalInformation
label: p20nameGIdesc
position: p20nameGIdesc

p20nameGIdesc
x: 277
y: 269
label: p20nameGIdesc
type: Absolute Position

p20initmarking
type: InitialMarking
label: p20initmarking
graphical information: p20initmarkingGI
tokens: p20initmarkingTokens

p20initmarkingGI
type: GraphicalInformation
label: p20initmarkingposGIdesc
position: p20initmarkingposGIdesc

p20initmarkingposGIdesc
x: 277
y: 269
label: p20initmarkingposGIdesc
type: Absolute Position

p20initmarkingTokens
type: IntegerToken
value: 1
label: 1

p20marking
type: Marking
label: p20marking
graphical information: p20markingGI
tokens: p20markingTokens

p20markingGI
type: GraphicalInformation
label: p20markingposGIdesc
position: p20markingposGIdesc

p20markingposGIdesc
x: 277
y: 269
label: p20markingposGIdesc
type: Absolute Position

p20markingTokens
type: IntegerToken
value: 1
label: 1

p21
type: Place
ID: p21
label: C1
position: p21posGIdesc
initial marking: p21initmarking
marking: p21marking
name: p21name

p21posGIdesc
x: 227
y: 315
label: p21posGIdesc
type: Absolute Position

p21name
type: Name
value name: C1
label: C1
graphical information: p21nameGI

p21nameGI
type: GraphicalInformation
label: p21nameGIdesc
position: p21nameGIdesc

p21nameGIdesc
x: 227
y: 315
label: p21nameGIdesc
type: Absolute Position

p21initmarking
type: InitialMarking
label: p21initmarking
graphical information: p21initmarkingGI
tokens: p21initmarkingTokens

p21initmarkingGI
type: GraphicalInformation
label: p21initmarkingposGIdesc
position: p21initmarkingposGIdesc

p21initmarkingposGIdesc
x: 227
y: 315
label: p21initmarkingposGIdesc
type: Absolute Position

p21initmarkingTokens
type: IntegerToken
value: 1
label: 1

p21marking
type: Marking
label: p21marking
graphical information: p21markingGI
tokens: p21markingTokens

p21markingGI
type: GraphicalInformation
label: p21markingposGIdesc
position: p21markingposGIdesc

p21markingposGIdesc
x: 227
y: 315
label: p21markingposGIdesc
type: Absolute Position

p21markingTokens
type: IntegerToken
value: 1
label: 1

p22
type: Place
ID: p22
label: C4
position: p22posGIdesc
initial marking: p22initmarking
marking: p22marking
name: p22name

p22posGIdesc
x: 425
y: 315
label: p22posGIdesc
type: Absolute Position

p22name
type: Name
value name: C4
label: C4
graphical information: p22nameGI

p22nameGI
type: GraphicalInformation
label: p22nameGIdesc
position: p22nameGIdesc

p22nameGIdesc
x: 425
y: 315
label: p22nameGIdesc
type: Absolute Position

p22initmarking
type: InitialMarking
label: p22initmarking
graphical information: p22initmarkingGI
tokens: p22initmarkingTokens

p22initmarkingGI
type: GraphicalInformation
label: p22initmarkingposGIdesc
position: p22initmarkingposGIdesc

p22initmarkingposGIdesc
x: 425
y: 315
label: p22initmarkingposGIdesc
type: Absolute Position

p22initmarkingTokens
type: IntegerToken
value: 1
label: 1

p22marking
type: Marking
label: p22marking
graphical information: p22markingGI
tokens: p22markingTokens

p22markingGI
type: GraphicalInformation
label: p22markingposGIdesc
position: p22markingposGIdesc

p22markingposGIdesc
x: 425
y: 315
label: p22markingposGIdesc
type: Absolute Position

p22markingTokens
type: IntegerToken
value: 1
label: 1

p23
type: Place
ID: p23
label: M1
position: p23posGIdesc
initial marking: p23initmarking
marking: p23marking
name: p23name

p23posGIdesc
x: 250
y: 366
label: p23posGIdesc
type: Absolute Position

p23name
type: Name
value name: M1
label: M1
graphical information: p23nameGI

p23nameGI
type: GraphicalInformation
label: p23nameGIdesc
position: p23nameGIdesc

p23nameGIdesc
x: 250
y: 366
label: p23nameGIdesc
type: Absolute Position

p23initmarking
type: InitialMarking
label: p23initmarking
graphical information: p23initmarkingGI
tokens: p23initmarkingTokens

p23initmarkingGI
type: GraphicalInformation
label: p23initmarkingposGIdesc
position: p23initmarkingposGIdesc

p23initmarkingposGIdesc
x: 250
y: 366
label: p23initmarkingposGIdesc
type: Absolute Position

p23initmarkingTokens
type: IntegerToken
value: 1
label: 1

p23marking
type: Marking
label: p23marking
graphical information: p23markingGI
tokens: p23markingTokens

p23markingGI
type: GraphicalInformation
label: p23markingposGIdesc
position: p23markingposGIdesc

p23markingposGIdesc
x: 250
y: 366
label: p23markingposGIdesc
type: Absolute Position

p23markingTokens
type: IntegerToken
value: 1
label: 1

p24
type: Place
ID: p24
label: M4
position: p24posGIdesc
initial marking: p24initmarking
marking: p24marking
name: p24name

p24posGIdesc
x: 377
y: 272
label: p24posGIdesc
type: Absolute Position

p24name
type: Name
value name: M4
label: M4
graphical information: p24nameGI

p24nameGI
type: GraphicalInformation
label: p24nameGIdesc
position: p24nameGIdesc

p24nameGIdesc
x: 377
y: 272
label: p24nameGIdesc
type: Absolute Position

p24initmarking
type: InitialMarking
label: p24initmarking
graphical information: p24initmarkingGI
tokens: p24initmarkingTokens

p24initmarkingGI
type: GraphicalInformation
label: p24initmarkingposGIdesc
position: p24initmarkingposGIdesc

p24initmarkingposGIdesc
x: 377
y: 272
label: p24initmarkingposGIdesc
type: Absolute Position

p24initmarkingTokens
type: IntegerToken
value: 1
label: 1

p24marking
type: Marking
label: p24marking
graphical information: p24markingGI
tokens: p24markingTokens

p24markingGI
type: GraphicalInformation
label: p24markingposGIdesc
position: p24markingposGIdesc

p24markingposGIdesc
x: 377
y: 272
label: p24markingposGIdesc
type: Absolute Position

p24markingTokens
type: IntegerToken
value: 1
label: 1

p25
type: Place
ID: p25
label: M3
position: p25posGIdesc
initial marking: p25initmarking
marking: p25marking
name: p25name

p25posGIdesc
x: 407
y: 366
label: p25posGIdesc
type: Absolute Position

p25name
type: Name
value name: M3
label: M3
graphical information: p25nameGI

p25nameGI
type: GraphicalInformation
label: p25nameGIdesc
position: p25nameGIdesc

p25nameGIdesc
x: 407
y: 366
label: p25nameGIdesc
type: Absolute Position

p25initmarking
type: InitialMarking
label: p25initmarking
graphical information: p25initmarkingGI
tokens: p25initmarkingTokens

p25initmarkingGI
type: GraphicalInformation
label: p25initmarkingposGIdesc
position: p25initmarkingposGIdesc

p25initmarkingposGIdesc
x: 407
y: 366
label: p25initmarkingposGIdesc
type: Absolute Position

p25initmarkingTokens
type: IntegerToken
value: 1
label: 1

p25marking
type: Marking
label: p25marking
graphical information: p25markingGI
tokens: p25markingTokens

p25markingGI
type: GraphicalInformation
label: p25markingposGIdesc
position: p25markingposGIdesc

p25markingposGIdesc
x: 407
y: 366
label: p25markingposGIdesc
type: Absolute Position

p25markingTokens
type: IntegerToken
value: 1
label: 1

p26
type: Place
ID: p26
label: C3
position: p26posGIdesc
initial marking: p26initmarking
marking: p26marking
name: p26name

p26posGIdesc
x: 387
y: 418
label: p26posGIdesc
type: Absolute Position

p26name
type: Name
value name: C3
label: C3
graphical information: p26nameGI

p26nameGI
type: GraphicalInformation
label: p26nameGIdesc
position: p26nameGIdesc

p26nameGIdesc
x: 387
y: 418
label: p26nameGIdesc
type: Absolute Position

p26initmarking
type: InitialMarking
label: p26initmarking
graphical information: p26initmarkingGI
tokens: p26initmarkingTokens

p26initmarkingGI
type: GraphicalInformation
label: p26initmarkingposGIdesc
position: p26initmarkingposGIdesc

p26initmarkingposGIdesc
x: 387
y: 418
label: p26initmarkingposGIdesc
type: Absolute Position

p26initmarkingTokens
type: IntegerToken
value: 1
label: 1

p26marking
type: Marking
label: p26marking
graphical information: p26markingGI
tokens: p26markingTokens

p26markingGI
type: GraphicalInformation
label: p26markingposGIdesc
position: p26markingposGIdesc

p26markingposGIdesc
x: 387
y: 418
label: p26markingposGIdesc
type: Absolute Position

p26markingTokens
type: IntegerToken
value: 1
label: 1

p27
type: Place
ID: p27
label: C2
position: p27posGIdesc
initial marking: p27initmarking
marking: p27marking
name: p27name

p27posGIdesc
x: 281
y: 418
label: p27posGIdesc
type: Absolute Position

p27name
type: Name
value name: C2
label: C2
graphical information: p27nameGI

p27nameGI
type: GraphicalInformation
label: p27nameGIdesc
position: p27nameGIdesc

p27nameGIdesc
x: 281
y: 418
label: p27nameGIdesc
type: Absolute Position

p27initmarking
type: InitialMarking
label: p27initmarking
graphical information: p27initmarkingGI
tokens: p27initmarkingTokens

p27initmarkingGI
type: GraphicalInformation
label: p27initmarkingposGIdesc
position: p27initmarkingposGIdesc

p27initmarkingposGIdesc
x: 281
y: 418
label: p27initmarkingposGIdesc
type: Absolute Position

p27initmarkingTokens
type: IntegerToken
value: 1
label: 1

p27marking
type: Marking
label: p27marking
graphical information: p27markingGI
tokens: p27markingTokens

p27markingGI
type: GraphicalInformation
label: p27markingposGIdesc
position: p27markingposGIdesc

p27markingposGIdesc
x: 281
y: 418
label: p27markingposGIdesc
type: Absolute Position

p27markingTokens
type: IntegerToken
value: 1
label: 1

p28
type: Place
ID: p28
label: M2
position: p28posGIdesc
initial marking: p28initmarking
marking: p28marking
name: p28name

p28posGIdesc
x: 334
y: 418
label: p28posGIdesc
type: Absolute Position

p28name
type: Name
value name: M2
label: M2
graphical information: p28nameGI

p28nameGI
type: GraphicalInformation
label: p28nameGIdesc
position: p28nameGIdesc

p28nameGIdesc
x: 334
y: 418
label: p28nameGIdesc
type: Absolute Position

p28initmarking
type: InitialMarking
label: p28initmarking
graphical information: p28initmarkingGI
tokens: p28initmarkingTokens

p28initmarkingGI
type: GraphicalInformation
label: p28initmarkingposGIdesc
position: p28initmarkingposGIdesc

p28initmarkingposGIdesc
x: 334
y: 418
label: p28initmarkingposGIdesc
type: Absolute Position

p28initmarkingTokens
type: IntegerToken
value: 1
label: 1

p28marking
type: Marking
label: p28marking
graphical information: p28markingGI
tokens: p28markingTokens

p28markingGI
type: GraphicalInformation
label: p28markingposGIdesc
position: p28markingposGIdesc

p28markingposGIdesc
x: 334
y: 418
label: p28markingposGIdesc
type: Absolute Position

p28markingTokens
type: IntegerToken
value: 1
label: 1

p29
type: Place
ID: p29
label: J5
position: p29posGIdesc
initial marking: p29initmarking
marking: p29marking
name: p29name

p29posGIdesc
x: 172
y: 208
label: p29posGIdesc
type: Absolute Position

p29name
type: Name
value name: J5
label: J5
graphical information: p29nameGI

p29nameGI
type: GraphicalInformation
label: p29nameGIdesc
position: p29nameGIdesc

p29nameGIdesc
x: 172
y: 208
label: p29nameGIdesc
type: Absolute Position

p29initmarking
type: InitialMarking
label: p29initmarking
graphical information: p29initmarkingGI
tokens: p29initmarkingTokens

p29initmarkingGI
type: GraphicalInformation
label: p29initmarkingposGIdesc
position: p29initmarkingposGIdesc

p29initmarkingposGIdesc
x: 172
y: 208
label: p29initmarkingposGIdesc
type: Absolute Position

p29initmarkingTokens
type: IntegerToken
value: 0
label: 0

p29marking
type: Marking
label: p29marking
graphical information: p29markingGI
tokens: p29markingTokens

p29markingGI
type: GraphicalInformation
label: p29markingposGIdesc
position: p29markingposGIdesc

p29markingposGIdesc
x: 172
y: 208
label: p29markingposGIdesc
type: Absolute Position

p29markingTokens
type: IntegerToken
value: 0
label: 0

p30
type: Place
ID: p30
label: J4
position: p30posGIdesc
initial marking: p30initmarking
marking: p30marking
name: p30name

p30posGIdesc
x: 500
y: 208
label: p30posGIdesc
type: Absolute Position

p30name
type: Name
value name: J4
label: J4
graphical information: p30nameGI

p30nameGI
type: GraphicalInformation
label: p30nameGIdesc
position: p30nameGIdesc

p30nameGIdesc
x: 500
y: 208
label: p30nameGIdesc
type: Absolute Position

p30initmarking
type: InitialMarking
label: p30initmarking
graphical information: p30initmarkingGI
tokens: p30initmarkingTokens

p30initmarkingGI
type: GraphicalInformation
label: p30initmarkingposGIdesc
position: p30initmarkingposGIdesc

p30initmarkingposGIdesc
x: 500
y: 208
label: p30initmarkingposGIdesc
type: Absolute Position

p30initmarkingTokens
type: IntegerToken
value: 0
label: 0

p30marking
type: Marking
label: p30marking
graphical information: p30markingGI
tokens: p30markingTokens

p30markingGI
type: GraphicalInformation
label: p30markingposGIdesc
position: p30markingposGIdesc

p30markingposGIdesc
x: 500
y: 208
label: p30markingposGIdesc
type: Absolute Position

p30markingTokens
type: IntegerToken
value: 0
label: 0

p31
type: Place
ID: p31
label: J3
position: p31posGIdesc
initial marking: p31initmarking
marking: p31marking
name: p31name

p31posGIdesc
x: 500
y: 437
label: p31posGIdesc
type: Absolute Position

p31name
type: Name
value name: J3
label: J3
graphical information: p31nameGI

p31nameGI
type: GraphicalInformation
label: p31nameGIdesc
position: p31nameGIdesc

p31nameGIdesc
x: 500
y: 437
label: p31nameGIdesc
type: Absolute Position

p31initmarking
type: InitialMarking
label: p31initmarking
graphical information: p31initmarkingGI
tokens: p31initmarkingTokens

p31initmarkingGI
type: GraphicalInformation
label: p31initmarkingposGIdesc
position: p31initmarkingposGIdesc

p31initmarkingposGIdesc
x: 500
y: 437
label: p31initmarkingposGIdesc
type: Absolute Position

p31initmarkingTokens
type: IntegerToken
value: 0
label: 0

p31marking
type: Marking
label: p31marking
graphical information: p31markingGI
tokens: p31markingTokens

p31markingGI
type: GraphicalInformation
label: p31markingposGIdesc
position: p31markingposGIdesc

p31markingposGIdesc
x: 500
y: 437
label: p31markingposGIdesc
type: Absolute Position

p31markingTokens
type: IntegerToken
value: 0
label: 0

p32
type: Place
ID: p32
label: J1
position: p32posGIdesc
initial marking: p32initmarking
marking: p32marking
name: p32name

p32posGIdesc
x: 172
y: 449
label: p32posGIdesc
type: Absolute Position

p32name
type: Name
value name: J1
label: J1
graphical information: p32nameGI

p32nameGI
type: GraphicalInformation
label: p32nameGIdesc
position: p32nameGIdesc

p32nameGIdesc
x: 172
y: 449
label: p32nameGIdesc
type: Absolute Position

p32initmarking
type: InitialMarking
label: p32initmarking
graphical information: p32initmarkingGI
tokens: p32initmarkingTokens

p32initmarkingGI
type: GraphicalInformation
label: p32initmarkingposGIdesc
position: p32initmarkingposGIdesc

p32initmarkingposGIdesc
x: 172
y: 449
label: p32initmarkingposGIdesc
type: Absolute Position

p32initmarkingTokens
type: IntegerToken
value: 0
label: 0

p32marking
type: Marking
label: p32marking
graphical information: p32markingGI
tokens: p32markingTokens

p32markingGI
type: GraphicalInformation
label: p32markingposGIdesc
position: p32markingposGIdesc

p32markingposGIdesc
x: 172
y: 449
label: p32markingposGIdesc
type: Absolute Position

p32markingTokens
type: IntegerToken
value: 0
label: 0

p33
type: Place
ID: p33
label: J2
position: p33posGIdesc
initial marking: p33initmarking
marking: p33marking
name: p33name

p33posGIdesc
x: 334
y: 552
label: p33posGIdesc
type: Absolute Position

p33name
type: Name
value name: J2
label: J2
graphical information: p33nameGI

p33nameGI
type: GraphicalInformation
label: p33nameGIdesc
position: p33nameGIdesc

p33nameGIdesc
x: 334
y: 552
label: p33nameGIdesc
type: Absolute Position

p33initmarking
type: InitialMarking
label: p33initmarking
graphical information: p33initmarkingGI
tokens: p33initmarkingTokens

p33initmarkingGI
type: GraphicalInformation
label: p33initmarkingposGIdesc
position: p33initmarkingposGIdesc

p33initmarkingposGIdesc
x: 334
y: 552
label: p33initmarkingposGIdesc
type: Absolute Position

p33initmarkingTokens
type: IntegerToken
value: 0
label: 0

p33marking
type: Marking
label: p33marking
graphical information: p33markingGI
tokens: p33markingTokens

p33markingGI
type: GraphicalInformation
label: p33markingposGIdesc
position: p33markingposGIdesc

p33markingposGIdesc
x: 334
y: 552
label: p33markingposGIdesc
type: Absolute Position

p33markingTokens
type: IntegerToken
value: 0
label: 0

t18
type: Transition
ID: t18
label: t31
position: t18posGIdesc
name: t18name

t18posGIdesc
x: 460
y: 418
label: t18posGIdesc
type: Absolute Position

t18name
type: Name
value name: t31
label: t31
graphical information: t18nameGI

t18nameGI
type: GraphicalInformation
label: t18nameGIdesc
position: t18nameGIdesc

t18nameGIdesc
x: 460
y: 418
label: t18nameGIdesc
type: Absolute Position

t19
type: Transition
ID: t19
label: t41
position: t19posGIdesc
name: t19name

t19posGIdesc
x: 460
y: 231
label: t19posGIdesc
type: Absolute Position

t19name
type: Name
value name: t41
label: t41
graphical information: t19nameGI

t19nameGI
type: GraphicalInformation
label: t19nameGIdesc
position: t19nameGIdesc

t19nameGIdesc
x: 460
y: 231
label: t19nameGIdesc
type: Absolute Position

t20
type: Transition
ID: t20
label: t11
position: t20posGIdesc
name: t20name

t20posGIdesc
x: 208
y: 418
label: t20posGIdesc
type: Absolute Position

t20name
type: Name
value name: t11
label: t11
graphical information: t20nameGI

t20nameGI
type: GraphicalInformation
label: t20nameGIdesc
position: t20nameGIdesc

t20nameGIdesc
x: 208
y: 418
label: t20nameGIdesc
type: Absolute Position

t21
type: Transition
ID: t21
label: t21
position: t21posGIdesc
name: t21name

t21posGIdesc
x: 334
y: 511
label: t21posGIdesc
type: Absolute Position

t21name
type: Name
value name: t21
label: t21
graphical information: t21nameGI

t21nameGI
type: GraphicalInformation
label: t21nameGIdesc
position: t21nameGIdesc

t21nameGIdesc
x: 334
y: 511
label: t21nameGIdesc
type: Absolute Position

t22
type: Transition
ID: t22
label: t51
position: t22posGIdesc
name: t22name

t22posGIdesc
x: 208
y: 231
label: t22posGIdesc
type: Absolute Position

t22name
type: Name
value name: t51
label: t51
graphical information: t22nameGI

t22nameGI
type: GraphicalInformation
label: t22nameGIdesc
position: t22nameGIdesc

t22nameGIdesc
x: 208
y: 231
label: t22nameGIdesc
type: Absolute Position

t25
type: Transition
ID: t25
label: t52
position: t25posGIdesc
name: t25name

t25posGIdesc
x: 128
y: 184
label: t25posGIdesc
type: Absolute Position

t25name
type: Name
value name: t52
label: t52
graphical information: t25nameGI

t25nameGI
type: GraphicalInformation
label: t25nameGIdesc
position: t25nameGIdesc

t25nameGIdesc
x: 128
y: 184
label: t25nameGIdesc
type: Absolute Position

t26
type: Transition
ID: t26
label: t42
position: t26posGIdesc
name: t26name

t26posGIdesc
x: 551
y: 184
label: t26posGIdesc
type: Absolute Position

t26name
type: Name
value name: t42
label: t42
graphical information: t26nameGI

t26nameGI
type: GraphicalInformation
label: t26nameGIdesc
position: t26nameGIdesc

t26nameGIdesc
x: 551
y: 184
label: t26nameGIdesc
type: Absolute Position

t27
type: Transition
ID: t27
label: t32
position: t27posGIdesc
name: t27name

t27posGIdesc
x: 551
y: 453
label: t27posGIdesc
type: Absolute Position

t27name
type: Name
value name: t32
label: t32
graphical information: t27nameGI

t27nameGI
type: GraphicalInformation
label: t27nameGIdesc
position: t27nameGIdesc

t27nameGIdesc
x: 551
y: 453
label: t27nameGIdesc
type: Absolute Position

t28
type: Transition
ID: t28
label: t12
position: t28posGIdesc
name: t28name

t28posGIdesc
x: 128
y: 476
label: t28posGIdesc
type: Absolute Position

t28name
type: Name
value name: t12
label: t12
graphical information: t28nameGI

t28nameGI
type: GraphicalInformation
label: t28nameGIdesc
position: t28nameGIdesc

t28nameGIdesc
x: 128
y: 476
label: t28nameGIdesc
type: Absolute Position

t29
type: Transition
ID: t29
label: t22
position: t29posGIdesc
name: t29name

t29posGIdesc
x: 334
y: 601
label: t29posGIdesc
type: Absolute Position

t29name
type: Name
value name: t22
label: t22
graphical information: t29nameGI

t29nameGI
type: GraphicalInformation
label: t29nameGIdesc
position: t29nameGIdesc

t29nameGIdesc
x: 334
y: 601
label: t29nameGIdesc
type: Absolute Position

a0
type: Arc
ID: a0
arc type: normal
label: a0
to node: t21
multiplicity: a0multi
from node: p28

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

a0multiGI
type: GraphicalInformation
label: a0multiGIdesc
position: a0multiGIdesc

a0multiGIdesc
x: 334
y: 464
label: a0multiGI
type: Relative Position

a1
type: Arc
ID: a1
arc type: normal
label: a1
to node: p33
multiplicity: a1multi
from node: t21

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

a1multiGI
type: GraphicalInformation
label: a1multiGIdesc
position: a1multiGIdesc

a1multiGIdesc
x: 334
y: 525
label: a1multiGI
type: Relative Position

a2
type: Arc
ID: a2
arc type: normal
label: a2
to node: t20
multiplicity: a2multi
from node: p23

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

a2multiGI
type: GraphicalInformation
label: a2multiGIdesc
position: a2multiGIdesc

a2multiGIdesc
x: 229
y: 392
label: a2multiGI
type: Relative Position

a3
type: Arc
ID: a3
arc type: normal
label: a3
to node: p32
multiplicity: a3multi
from node: t20

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

a3multiGI
type: GraphicalInformation
label: a3multiGIdesc
position: a3multiGIdesc

a3multiGIdesc
x: 194
y: 429
label: a3multiGI
type: Relative Position

a4
type: Arc
ID: a4
arc type: normal
label: a4
to node: t22
multiplicity: a4multi
from node: p20

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

a4multiGI
type: GraphicalInformation
label: a4multiGIdesc
position: a4multiGIdesc

a4multiGIdesc
x: 242
y: 250
label: a4multiGI
type: Relative Position

a5
type: Arc
ID: a5
arc type: normal
label: a5
to node: p29
multiplicity: a5multi
from node: t22

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

a5multiGI
type: GraphicalInformation
label: a5multiGIdesc
position: a5multiGIdesc

a5multiGIdesc
x: 195
y: 222
label: a5multiGI
type: Relative Position

a6
type: Arc
ID: a6
arc type: normal
label: a6
to node: t19
multiplicity: a6multi
from node: p24

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

a6multiGI
type: GraphicalInformation
label: a6multiGIdesc
position: a6multiGIdesc

a6multiGIdesc
x: 418
y: 251
label: a6multiGI
type: Relative Position

a7
type: Arc
ID: a7
arc type: normal
label: a7
to node: p30
multiplicity: a7multi
from node: t19

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

a7multiGI
type: GraphicalInformation
label: a7multiGIdesc
position: a7multiGIdesc

a7multiGIdesc
x: 474
y: 222
label: a7multiGI
type: Relative Position

a8
type: Arc
ID: a8
arc type: normal
label: a8
to node: t18
multiplicity: a8multi
from node: p25

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

a8multiGI
type: GraphicalInformation
label: a8multiGIdesc
position: a8multiGIdesc

a8multiGIdesc
x: 433
y: 392
label: a8multiGI
type: Relative Position

a9
type: Arc
ID: a9
arc type: normal
label: a9
to node: p31
multiplicity: a9multi
from node: t18

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

a9multiGI
type: GraphicalInformation
label: a9multiGIdesc
position: a9multiGIdesc

a9multiGIdesc
x: 474
y: 424
label: a9multiGI
type: Relative Position

a10
type: Arc
ID: a10
arc type: normal
label: a10
to node: t22
multiplicity: a10multi
from node: p21

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

a10multiGI
type: GraphicalInformation
label: a10multiGIdesc
position: a10multiGIdesc

a10multiGIdesc
x: 217
y: 273
label: a10multiGI
type: Relative Position

a11
type: Arc
ID: a11
arc type: normal
label: a11
to node: t22
multiplicity: a11multi
from node: p19

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

a11multiGI
type: GraphicalInformation
label: a11multiGIdesc
position: a11multiGIdesc

a11multiGIdesc
x: 271
y: 229
label: a11multiGI
type: Relative Position

a12
type: Arc
ID: a12
arc type: normal
label: a12
to node: t19
multiplicity: a12multi
from node: p19

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

a12multiGI
type: GraphicalInformation
label: a12multiGIdesc
position: a12multiGIdesc

a12multiGIdesc
x: 397
y: 229
label: a12multiGI
type: Relative Position

a13
type: Arc
ID: a13
arc type: normal
label: a13
to node: t19
multiplicity: a13multi
from node: p22

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

a13multiGI
type: GraphicalInformation
label: a13multiGIdesc
position: a13multiGIdesc

a13multiGIdesc
x: 442
y: 273
label: a13multiGI
type: Relative Position

a14
type: Arc
ID: a14
arc type: normal
label: a14
to node: t18
multiplicity: a14multi
from node: p22

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

a14multiGI
type: GraphicalInformation
label: a14multiGIdesc
position: a14multiGIdesc

a14multiGIdesc
x: 442
y: 366
label: a14multiGI
type: Relative Position

a15
type: Arc
ID: a15
arc type: normal
label: a15
to node: t18
multiplicity: a15multi
from node: p26

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

a15multiGI
type: GraphicalInformation
label: a15multiGIdesc
position: a15multiGIdesc

a15multiGIdesc
x: 423
y: 418
label: a15multiGI
type: Relative Position

a16
type: Arc
ID: a16
arc type: normal
label: a16
to node: t21
multiplicity: a16multi
from node: p26

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

a16multiGI
type: GraphicalInformation
label: a16multiGIdesc
position: a16multiGIdesc

a16multiGIdesc
x: 360
y: 464
label: a16multiGI
type: Relative Position

a17
type: Arc
ID: a17
arc type: normal
label: a17
to node: t21
multiplicity: a17multi
from node: p27

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

a17multiGI
type: GraphicalInformation
label: a17multiGIdesc
position: a17multiGIdesc

a17multiGIdesc
x: 307
y: 464
label: a17multiGI
type: Relative Position

a18
type: Arc
ID: a18
arc type: normal
label: a18
to node: t20
multiplicity: a18multi
from node: p27

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

a18multiGI
type: GraphicalInformation
label: a18multiGIdesc
position: a18multiGIdesc

a18multiGIdesc
x: 244
y: 418
label: a18multiGI
type: Relative Position

a19
type: Arc
ID: a19
arc type: normal
label: a19
to node: t20
multiplicity: a19multi
from node: p21

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

a19multiGI
type: GraphicalInformation
label: a19multiGIdesc
position: a19multiGIdesc

a19multiGIdesc
x: 217
y: 366
label: a19multiGI
type: Relative Position

a20
type: Arc
ID: a20
arc type: normal
label: a20
to node: t25
multiplicity: a20multi
from node: p29

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

a20multiGI
type: GraphicalInformation
label: a20multiGIdesc
position: a20multiGIdesc

a20multiGIdesc
x: 150
y: 196
label: a20multiGI
type: Relative Position

a21
type: Arc
ID: a21
arc type: normal
label: a21
to node: t26
multiplicity: a21multi
from node: p30

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

a21multiGI
type: GraphicalInformation
label: a21multiGIdesc
position: a21multiGIdesc

a21multiGIdesc
x: 525
y: 196
label: a21multiGI
type: Relative Position

a22
type: Arc
ID: a22
arc type: normal
label: a22
to node: t27
multiplicity: a22multi
from node: p31

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

a22multiGI
type: GraphicalInformation
label: a22multiGIdesc
position: a22multiGIdesc

a22multiGIdesc
x: 525
y: 445
label: a22multiGI
type: Relative Position

a23
type: Arc
ID: a23
arc type: normal
label: a23
to node: t29
multiplicity: a23multi
from node: p33

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

a23multiGI
type: GraphicalInformation
label: a23multiGIdesc
position: a23multiGIdesc

a23multiGIdesc
x: 334
y: 576
label: a23multiGI
type: Relative Position

a24
type: Arc
ID: a24
arc type: normal
label: a24
to node: t28
multiplicity: a24multi
from node: p32

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

a24multiGI
type: GraphicalInformation
label: a24multiGIdesc
position: a24multiGIdesc

a24multiGIdesc
x: 150
y: 462
label: a24multiGI
type: Relative Position

a25
type: Arc
ID: a25
arc type: normal
label: a25
to node: p19
multiplicity: a25multi
from node: t25
breaking points: a25breakPt1

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

a25multiGI
type: GraphicalInformation
label: a25multiGIdesc
position: a25multiGIdesc

a25multiGIdesc
x: 285
y: 197
label: a25multiGI
type: Relative Position

a25breakPt1
x: 247
y: 173
label: a25breakPt1
type: Absolute Position

a26
type: Arc
ID: a26
arc type: normal
label: a26
to node: p21
multiplicity: a26multi
from node: t25
breaking points: a26breakPt1

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

a26multiGI
type: GraphicalInformation
label: a26multiGIdesc
position: a26multiGIdesc

a26multiGIdesc
x: 188
y: 279
label: a26multiGI
type: Relative Position

a26breakPt1
x: 159
y: 253
label: a26breakPt1
type: Absolute Position

a27
type: Arc
ID: a27
arc type: normal
label: a27
to node: p19
multiplicity: a27multi
from node: t26
breaking points: a27breakPt1

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

a27multiGI
type: GraphicalInformation
label: a27multiGIdesc
position: a27multiGIdesc

a27multiGIdesc
x: 389
y: 196
label: a27multiGI
type: Relative Position

a27breakPt1
x: 433
y: 171
label: a27breakPt1
type: Absolute Position

a28
type: Arc
ID: a28
arc type: normal
label: a28
to node: p22
multiplicity: a28multi
from node: t26
breaking points: a28breakPt1

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

a28multiGI
type: GraphicalInformation
label: a28multiGIdesc
position: a28multiGIdesc

a28multiGIdesc
x: 482
y: 273
label: a28multiGI
type: Relative Position

a28breakPt1
x: 530
y: 239
label: a28breakPt1
type: Absolute Position

a29
type: Arc
ID: a29
arc type: normal
label: a29
to node: p22
multiplicity: a29multi
from node: t27
breaking points: a29breakPt1

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

a29multiGI
type: GraphicalInformation
label: a29multiGIdesc
position: a29multiGIdesc

a29multiGIdesc
x: 475
y: 345
label: a29multiGI
type: Relative Position

a29breakPt1
x: 514
y: 370
label: a29breakPt1
type: Absolute Position

a30
type: Arc
ID: a30
arc type: normal
label: a30
to node: p26
multiplicity: a30multi
from node: t27
breaking points: a30breakPt1

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

a30multiGI
type: GraphicalInformation
label: a30multiGIdesc
position: a30multiGIdesc

a30multiGIdesc
x: 437
y: 451
label: a30multiGI
type: Relative Position

a30breakPt1
x: 478
y: 478
label: a30breakPt1
type: Absolute Position

a31
type: Arc
ID: a31
arc type: normal
label: a31
to node: p26
multiplicity: a31multi
from node: t29
breaking points: a31breakPt1

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

a31multiGI
type: GraphicalInformation
label: a31multiGIdesc
position: a31multiGIdesc

a31multiGIdesc
x: 387
y: 468
label: a31multiGI
type: Relative Position

a31breakPt1
x: 387
y: 505
label: a31breakPt1
type: Absolute Position

a32
type: Arc
ID: a32
arc type: normal
label: a32
to node: p27
multiplicity: a32multi
from node: t29
breaking points: a32breakPt1

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

a32multiGI
type: GraphicalInformation
label: a32multiGIdesc
position: a32multiGIdesc

a32multiGIdesc
x: 287
y: 467
label: a32multiGI
type: Relative Position

a32breakPt1
x: 292
y: 504
label: a32breakPt1
type: Absolute Position

a33
type: Arc
ID: a33
arc type: normal
label: a33
to node: p27
multiplicity: a33multi
from node: t28
breaking points: a33breakPt1

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

a33multiGI
type: GraphicalInformation
label: a33multiGIdesc
position: a33multiGIdesc

a33multiGIdesc
x: 247
y: 445
label: a33multiGI
type: Relative Position

a33breakPt1
x: 224
y: 465
label: a33breakPt1
type: Absolute Position

a34
type: Arc
ID: a34
arc type: normal
label: a34
to node: p21
multiplicity: a34multi
from node: t28
breaking points: a34breakPt1

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

a34multiGI
type: GraphicalInformation
label: a34multiGIdesc
position: a34multiGIdesc

a34multiGIdesc
x: 187
y: 345
label: a34multiGI
type: Relative Position

a34breakPt1
x: 159
y: 368
label: a34breakPt1
type: Absolute Position

a35
type: Arc
ID: a35
arc type: normal
label: a35
to node: p20
multiplicity: a35multi
from node: t25
breaking points: a35breakPt1

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

a35multiGI
type: GraphicalInformation
label: a35multiGIdesc
position: a35multiGIdesc

a35multiGIdesc
x: 244
y: 219
label: a35multiGI
type: Relative Position

a35breakPt1
x: 220
y: 181
label: a35breakPt1
type: Absolute Position

a36
type: Arc
ID: a36
arc type: normal
label: a36
to node: p24
multiplicity: a36multi
from node: t26
breaking points: a36breakPt1

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

a36multiGI
type: GraphicalInformation
label: a36multiGIdesc
position: a36multiGIdesc

a36multiGIdesc
x: 410
y: 222
label: a36multiGI
type: Relative Position

a36breakPt1
x: 437
y: 184
label: a36breakPt1
type: Absolute Position

a37
type: Arc
ID: a37
arc type: normal
label: a37
to node: p25
multiplicity: a37multi
from node: t27
breaking points: a37breakPt1

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

a37multiGI
type: GraphicalInformation
label: a37multiGIdesc
position: a37multiGIdesc

a37multiGIdesc
x: 462
y: 380
label: a37multiGI
type: Relative Position

a37breakPt1
x: 505
y: 391
label: a37breakPt1
type: Absolute Position

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

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

a38multiGI
type: GraphicalInformation
label: a38multiGIdesc
position: a38multiGIdesc

a38multiGIdesc
x: 351
y: 468
label: a38multiGI
type: Relative Position

a38breakPt1
x: 364
y: 507
label: a38breakPt1
type: Absolute Position

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

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

a39multiGI
type: GraphicalInformation
label: a39multiGIdesc
position: a39multiGIdesc

a39multiGIdesc
x: 203
y: 389
label: a39multiGI
type: Relative Position

a39breakPt1
x: 169
y: 408
label: a39breakPt1
type: Absolute Position

DiningPh
type: Net
ID: DiningPh
type: UPN
label: DiningPh
elements: p19
elements: p20
elements: p21
elements: p22
elements: p23
elements: p24
elements: p25
elements: p26
elements: p27
elements: p28
elements: p29
elements: p30
elements: p31
elements: p32
elements: p33
elements: t18
elements: t19
elements: t20
elements: t21
elements: t22
elements: t25
elements: t26
elements: t27
elements: t28
elements: t29
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

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)))