-
Notifications
You must be signed in to change notification settings - Fork 1
/
SF_1_act.PNPRO
28 lines (28 loc) · 1.67 KB
/
SF_1_act.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_SF_1_trig_0" superposition-tags="dact_3" x="4.0" y="9.0"/>
<transition name="t_SF_1_trig_0" priority="102" type="IMM" x="8.85" y="12.0"/>
<transition name="t_SF_1_trig_1" priority="102" type="IMM" x="10" y="6.0"/>
<place name="P_SF_1_1_trig" superposition-tags="act_0" x="12" y="16.0"/>
<transition name="t_SF_1_1_trig" priority="3" type="IMM" x="12" y="8.0"/>
<place name="P_SF_1_2_trig" superposition-tags="fail_OR_2" x="6.0" y="2.0"/>
<place name="P_SF_1_3_trig" superposition-tags="act_3" x="28" y="9.0"/>
</nodes>
<edges>
<arc head="P_SF_1_trig_0" kind="OUTPUT" tail="t_SF_1_trig_0"/>
<arc head="t_SF_1_trig_0" kind="INPUT" tail="P_SF_1_3_trig"/>
<arc head="P_SF_1_trig_0" kind="INPUT" tail="t_SF_1_trig_1"/>
<arc head="t_SF_1_trig_1" kind="OUTPUT" tail="P_SF_1_3_trig"/>
<arc head="t_SF_1_trig_1" kind="INHIBITOR" tail="P_SF_1_2_trig"/>
<arc head="t_SF_1_1_trig" kind="OUTPUT" tail="P_SF_1_2_trig"/>
<arc head="P_SF_1_2_trig" kind="INPUT" tail="t_SF_1_1_trig"/>
<arc head="t_SF_1_trig_0" kind="INHIBITOR" tail="P_SF_1_1_trig"/>
<arc head="t_SF_1_1_trig" kind="INPUT" tail="P_SF_1_1_trig"/>
<arc head="P_SF_1_1_trig" kind="OUTPUT" tail="t_SF_1_1_trig"/>
<arc head="P_SF_1_3_trig" kind="OUTPUT" tail="t_SF_1_1_trig"/>
<arc head="t_SF_1_1_trig" kind="INPUT" tail="P_SF_1_trig_0"/>
</edges>
</gspn>
</project>