#PetriNet
Places [
(70,240) 1 1 -1 notPip idle1
(70,130) 0 0 -1 notPip wait1
(70,360) 0 0 -1 notPip done1
(170,180) 0 0 1 notPip sent1
(170,130) 0 0 1 notPip ack1
(170,300) 0 0 1 notPip sent2
(170,360) 0 0 1 notPip ack2
(270,240) 1 1 -1 notPip idle2
(270,130) 0 0 -1 notPip done2
(270,360) 0 0 -1 notPip wait2
(170,80) 0 0 -1 notPip finished1
(170,410) 0 0 -1 notPip finished2
]

Transitions [
(70,180) horizontal immediate 1.0 notTip start1
(70,300) horizontal immediate 1.0 notTip echo1
(70,80) horizontal immediate 1.0 notTip stop1
(70,410) horizontal immediate 1.0 notTip return1
(270,80) horizontal immediate 1.0 notTip return2
(270,180) horizontal immediate 1.0 notTip echo2
(270,300) horizontal immediate 1.0 notTip start2
(270,410) horizontal immediate 1.0 notTip stop2
(120,240) horizontal immediate 1.0 notTip cross1
(220,240) horizontal immediate 1.0 notTip cross2
]

Subnets [
]

Arcs [
Edge (
1
1
(70,210) 
SubnetFrom:
this
idle1
SubnetTo:
this
start1
)
Edge (
1
1
(120,180) 
SubnetFrom:
this
start1
SubnetTo:
this
sent1
)
Edge (
1
1
(70,155) 
SubnetFrom:
this
start1
SubnetTo:
this
wait1
)
Edge (
1
1
(120,300) 
SubnetFrom:
this
sent2
SubnetTo:
this
echo1
)
Edge (
1
1
(70,270) 
SubnetFrom:
this
idle1
SubnetTo:
this
echo1
)
Edge (
1
1
(120,330) 
SubnetFrom:
this
echo1
SubnetTo:
this
ack2
)
Edge (
1
1
(70,330) 
SubnetFrom:
this
echo1
SubnetTo:
this
done1
)
Edge (
1
1
(120,105) 
SubnetFrom:
this
ack1
SubnetTo:
this
stop1
)
Edge (
1
1
(70,105) 
SubnetFrom:
this
wait1
SubnetTo:
this
stop1
)
Edge (
1
1
(120,80) 
SubnetFrom:
this
stop1
SubnetTo:
this
finished1
)
Edge (
1
0
(36,160) 
SubnetFrom:
this
stop1
SubnetTo:
this
idle1
)
Edge (
1
1
(120,410) 
SubnetFrom:
this
finished2
SubnetTo:
this
return1
)
Edge (
1
1
(70,385) 
SubnetFrom:
this
done1
SubnetTo:
this
return1
)
Edge (
1
0
(33,325) 
SubnetFrom:
this
return1
SubnetTo:
this
idle1
)
Edge (
1
1
(220,80) 
SubnetFrom:
this
finished1
SubnetTo:
this
return2
)
Edge (
1
1
(270,105) 
SubnetFrom:
this
done2
SubnetTo:
this
return2
)
Edge (
1
0
(306,160) 
SubnetFrom:
this
return2
SubnetTo:
this
idle2
)
Edge (
1
1
(220,180) 
SubnetFrom:
this
sent1
SubnetTo:
this
echo2
)
Edge (
1
1
(270,210) 
SubnetFrom:
this
idle2
SubnetTo:
this
echo2
)
Edge (
1
1
(220,155) 
SubnetFrom:
this
echo2
SubnetTo:
this
ack1
)
Edge (
1
1
(270,155) 
SubnetFrom:
this
echo2
SubnetTo:
this
done2
)
Edge (
1
1
(270,270) 
SubnetFrom:
this
idle2
SubnetTo:
this
start2
)
Edge (
1
1
(220,300) 
SubnetFrom:
this
start2
SubnetTo:
this
sent2
)
Edge (
1
1
(270,330) 
SubnetFrom:
this
start2
SubnetTo:
this
wait2
)
Edge (
1
1
(220,385) 
SubnetFrom:
this
ack2
SubnetTo:
this
stop2
)
Edge (
1
1
(270,385) 
SubnetFrom:
this
wait2
SubnetTo:
this
stop2
)
Edge (
1
1
(220,410) 
SubnetFrom:
this
stop2
SubnetTo:
this
finished2
)
Edge (
1
0
(303,325) 
SubnetFrom:
this
stop2
SubnetTo:
this
idle2
)
Edge (
1
1
(95,185) 
SubnetFrom:
this
wait1
SubnetTo:
this
cross1
)
Edge (
1
1
(145,270) 
SubnetFrom:
this
sent2
SubnetTo:
this
cross1
)
Edge (
1
1
(125,160) 
SubnetFrom:
this
cross1
SubnetTo:
this
finished1
)
Edge (
1
1
(95,300) 
SubnetFrom:
this
cross1
SubnetTo:
this
done1
)
Edge (
1
1
(245,300) 
SubnetFrom:
this
wait2
SubnetTo:
this
cross2
)
Edge (
1
1
(195,210) 
SubnetFrom:
this
sent1
SubnetTo:
this
cross2
)
Edge (
1
1
(215,325) 
SubnetFrom:
this
cross2
SubnetTo:
this
finished2
)
Edge (
1
1
(245,185) 
SubnetFrom:
this
cross2
SubnetTo:
this
done2
)
]
Comments [
]
HighLights [
]