-
Notifications
You must be signed in to change notification settings - Fork 1
/
B_defaillant.PNPRO
20 lines (20 loc) · 1.24 KB
/
B_defaillant.PNPRO
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- This project file has been saved by the Python Script for composition with algebra tool, 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_B_defaillant_0" superposition-tags="work_B_defaillant" x="3.0" y="9.0"/>
<place name="P_B_defaillant_1" superposition-tags="fail_B_defaillant" x="14.0" y="9.0"/>
<place name="P_B_defaillant_2" superposition-tags="act_1" x="8.0" y="15.0"/>
<transition delay="0.10000000000000000555" name="T_B_defaillant_0_fail" nservers-x="0.5" type="EXP" x="8.55" y="9.0"/>
<transition delay="0.10000000000000000555" name="T_B_defaillant_1_rep" nservers-x="0.5" type="EXP" x="8.55" y="4.0"/>
</nodes>
<edges>
<arc head="T_B_defaillant_0_fail" kind="INPUT" tail="P_B_defaillant_0"/>
<arc head="P_B_defaillant_1" kind="OUTPUT" tail="T_B_defaillant_0_fail"/>
<arc head="T_B_defaillant_0_fail" kind="INPUT" tail="P_B_defaillant_2"/>
<arc head="P_B_defaillant_2" kind="INPUT" tail="T_B_defaillant_0_fail"/>
<arc head="T_B_defaillant_1_rep" kind="INPUT" tail="P_B_defaillant_1"/>
<arc head="P_B_defaillant_0" kind="OUTPUT" tail="T_B_defaillant_1_rep"/>
</edges>
</gspn>
</project>