-
Notifications
You must be signed in to change notification settings - Fork 1
/
OR_2.PNPRO
28 lines (28 loc) · 1.54 KB
/
OR_2.PNPRO
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- This project file has been saved by the New GreatSPN Editor, v.100 --><project name="New project" version="121">
<gspn name="GSPN" show-color-cmd="false" show-fluid-cmd="false">
<nodes>
<place marking="1" name="P_OR_2_0" superposition-tags="work_OR_2" x="4.0" y="9.0"/>
<transition name="t_OR_2_0" priority="103" type="IMM" x="8.85" y="12.0"/>
<place name="P_OR_2_1" superposition-tags="fail_A2_lost" x="12" y="16.0"/>
<transition name="t_OR_2_1" priority="104" type="IMM" x="12" y="8.0"/>
<place name="P_OR_2_2" superposition-tags="fail_B2_lost" x="20" y="16.0"/>
<transition name="t_OR_2_2" priority="104" type="IMM" x="20" y="8.0"/>
<place name="P_OR_2_4" superposition-tags="fail_OR_2" x="36" y="9.0"/>
</nodes>
<edges>
<arc head="P_OR_2_0" kind="OUTPUT" tail="t_OR_2_0"/>
<arc head="t_OR_2_0" kind="INPUT" tail="P_OR_2_4"/>
<arc head="t_OR_2_0" kind="INHIBITOR" tail="P_OR_2_1"/>
<arc head="t_OR_2_1" kind="INPUT" tail="P_OR_2_1"/>
<arc head="P_OR_2_1" kind="OUTPUT" tail="t_OR_2_1"/>
<arc head="P_OR_2_4" kind="OUTPUT" tail="t_OR_2_1"/>
<arc head="t_OR_2_1" kind="INPUT" tail="P_OR_2_0"/>
<arc head="t_OR_2_0" kind="INHIBITOR" tail="P_OR_2_2"/>
<arc head="t_OR_2_2" kind="INPUT" tail="P_OR_2_2"/>
<arc head="P_OR_2_2" kind="OUTPUT" tail="t_OR_2_2"/>
<arc head="P_OR_2_4" kind="OUTPUT" tail="t_OR_2_2"/>
<arc head="t_OR_2_2" kind="INPUT" tail="P_OR_2_0"/>
</edges>
</gspn>
</project>