#PetriNet
Places [
(60,150) 1 1 -1 notPip i1
(150,50) 0 0 -1 notPip w1a
(150,260) 0 0 -1 notPip c1
(310,50) 0 0 -1 notPip w2a
(400,150) 1 1 -1 notPip i2
(310,260) 0 0 -1 notPip c2
(130,350) 1 1 -1 notPip flag1
(330,350) 1 1 -1 notPip flag2
(230,150) 1 1 -1 notPip turn1
(230,50) 0 0 -1 notPip turn2
(150,150) 0 0 -1 notPip w1b
(310,150) 0 0 -1 notPip w2b
]

Transitions [
(60,50) horizontal immediate 1.0 notTip req1
(120,200) horizontal immediate 1.0 notTip in1a
(60,260) horizontal immediate 1.0 notTip out1
(400,50) horizontal immediate 1.0 notTip req2
(280,200) horizontal immediate 1.0 notTip in2b
(400,260) horizontal immediate 1.0 notTip out2
(180,200) horizontal immediate 1.0 notTip in1b
(340,200) horizontal immediate 1.0 notTip in2a
(120,100) horizontal immediate 1.0 notTip set1a
(180,100) horizontal immediate 1.0 notTip set1b
(280,100) horizontal immediate 1.0 notTip set2b
(340,100) horizontal immediate 1.0 notTip set2a
]

Subnets [
]

Arcs [
Edge (
1
1
(95,200) 
SubnetFrom:
this
flag1
SubnetTo:
this
req1
)
Edge (
1
1
(60,100) 
SubnetFrom:
this
i1
SubnetTo:
this
req1
)
Edge (
1
1
(105,50) 
SubnetFrom:
this
req1
SubnetTo:
this
w1a
)
Edge (
1
1
(135,175) 
SubnetFrom:
this
w1b
SubnetTo:
this
in1a
)
Edge (
1
1
(175,175) 
SubnetFrom:
this
turn1
SubnetTo:
this
in1a
)
Edge (
1
1
(135,230) 
SubnetFrom:
this
in1a
SubnetTo:
this
c1
)
Edge (
1
1
(175,175) 
SubnetFrom:
this
in1a
SubnetTo:
this
turn1
)
Edge (
1
1
(105,260) 
SubnetFrom:
this
c1
SubnetTo:
this
out1
)
Edge (
1
1
(60,205) 
SubnetFrom:
this
out1
SubnetTo:
this
i1
)
Edge (
1
1
(95,305) 
SubnetFrom:
this
out1
SubnetTo:
this
flag1
)
Edge (
1
1
(365,200) 
SubnetFrom:
this
flag2
SubnetTo:
this
req2
)
Edge (
1
1
(400,100) 
SubnetFrom:
this
i2
SubnetTo:
this
req2
)
Edge (
1
1
(355,50) 
SubnetFrom:
this
req2
SubnetTo:
this
w2a
)
Edge (
1
1
(295,175) 
SubnetFrom:
this
w2b
SubnetTo:
this
in2b
)
Edge (
1
1
(205,275) 
SubnetFrom:
this
flag1
SubnetTo:
this
in2b
)
Edge (
1
1
(295,230) 
SubnetFrom:
this
in2b
SubnetTo:
this
c2
)
Edge (
1
1
(205,275) 
SubnetFrom:
this
in2b
SubnetTo:
this
flag1
)
Edge (
1
1
(355,260) 
SubnetFrom:
this
c2
SubnetTo:
this
out2
)
Edge (
1
1
(400,205) 
SubnetFrom:
this
out2
SubnetTo:
this
i2
)
Edge (
1
1
(365,305) 
SubnetFrom:
this
out2
SubnetTo:
this
flag2
)
Edge (
1
1
(165,175) 
SubnetFrom:
this
w1b
SubnetTo:
this
in1b
)
Edge (
1
1
(255,275) 
SubnetFrom:
this
flag2
SubnetTo:
this
in1b
)
Edge (
1
1
(165,230) 
SubnetFrom:
this
in1b
SubnetTo:
this
c1
)
Edge (
1
1
(255,275) 
SubnetFrom:
this
in1b
SubnetTo:
this
flag2
)
Edge (
1
1
(325,175) 
SubnetFrom:
this
w2b
SubnetTo:
this
in2a
)
Edge (
1
1
(285,125) 
SubnetFrom:
this
turn2
SubnetTo:
this
in2a
)
Edge (
1
1
(325,230) 
SubnetFrom:
this
in2a
SubnetTo:
this
c2
)
Edge (
1
1
(285,125) 
SubnetFrom:
this
in2a
SubnetTo:
this
turn2
)
Edge (
1
1
(175,125) 
SubnetFrom:
this
turn1
SubnetTo:
this
set1a
)
Edge (
1
1
(135,75) 
SubnetFrom:
this
w1a
SubnetTo:
this
set1a
)
Edge (
1
1
(175,75) 
SubnetFrom:
this
set1a
SubnetTo:
this
turn2
)
Edge (
1
1
(135,125) 
SubnetFrom:
this
set1a
SubnetTo:
this
w1b
)
Edge (
1
1
(205,75) 
SubnetFrom:
this
turn2
SubnetTo:
this
set1b
)
Edge (
1
1
(165,75) 
SubnetFrom:
this
w1a
SubnetTo:
this
set1b
)
Edge (
1
1
(205,75) 
SubnetFrom:
this
set1b
SubnetTo:
this
turn2
)
Edge (
1
1
(165,125) 
SubnetFrom:
this
set1b
SubnetTo:
this
w1b
)
Edge (
1
1
(255,125) 
SubnetFrom:
this
turn1
SubnetTo:
this
set2b
)
Edge (
1
1
(295,75) 
SubnetFrom:
this
w2a
SubnetTo:
this
set2b
)
Edge (
1
1
(255,125) 
SubnetFrom:
this
set2b
SubnetTo:
this
turn1
)
Edge (
1
1
(295,125) 
SubnetFrom:
this
set2b
SubnetTo:
this
w2b
)
Edge (
1
1
(285,75) 
SubnetFrom:
this
turn2
SubnetTo:
this
set2a
)
Edge (
1
1
(325,75) 
SubnetFrom:
this
w2a
SubnetTo:
this
set2a
)
Edge (
1
1
(285,125) 
SubnetFrom:
this
set2a
SubnetTo:
this
turn1
)
Edge (
1
1
(325,125) 
SubnetFrom:
this
set2a
SubnetTo:
this
w2b
)
]
Comments [
]
HighLights [
]