2
<net id="ComposedModel" type="P/T net">
3
<place id="P0" name="P0" invariant="< inf" initialMarking="0" />
4
<place id="P1" name="P1" invariant="< inf" initialMarking="0" />
5
<place id="P2" name="P2" invariant="< inf" initialMarking="1000" />
6
<place id="P3" name="P3" invariant="< inf" initialMarking="0" />
7
<place id="P4" name="P4" invariant="< inf" initialMarking="0" />
8
<place id="P5" name="P5" invariant="< inf" initialMarking="0" />
9
<place id="P6" name="P6" invariant="< inf" initialMarking="1000" />
10
<place id="P7" name="P7" invariant="< inf" initialMarking="0" />
11
<place id="P8" name="P8" invariant="< inf" initialMarking="0" />
12
<place id="P9" name="P9" invariant="< inf" initialMarking="0" />
13
<place id="P10" name="P10" invariant="< inf" initialMarking="0" />
14
<place id="P11" name="P11" invariant="< inf" initialMarking="1000" />
15
<place id="P12" name="P12" invariant="< inf" initialMarking="0" />
16
<place id="P13" name="P13" invariant="< inf" initialMarking="0" />
17
<place id="P14" name="P14" invariant="< inf" initialMarking="0" />
18
<place id="P15" name="P15" invariant="< inf" initialMarking="1000" />
19
<transition id="T0" name="T0"/><transition id="T1" name="T1"/><transition id="T2" name="T2"/><transition id="T3" name="T3"/><transition id="T4" name="T4"/><transition id="T5" name="T5"/><transition id="T6" name="T6"/><transition id="T7" name="T7"/><transition id="T8" name="T8"/><transition id="T9" name="T9"/><transition id="T10" name="T10"/><transition id="T11" name="T11"/><transition id="T12" name="T12"/><transition id="T13" name="T13"/><transition id="T14" name="T14"/><transition id="T15" name="T15"/><inputArc inscription="[0,inf)" source="P15" target="T4"/>
20
<inputArc inscription="[0,inf)" source="P8" target="T4"/>
21
<inputArc inscription="[0,inf)" source="P2" target="T4"/>
22
<inputArc inscription="[0,inf)" source="P7" target="T5"/>
23
<inputArc inscription="[0,inf)" source="P5" target="T6"/>
24
<inputArc inscription="[0,inf)" source="P6" target="T7"/>
25
<inputArc inscription="[0,inf)" source="P12" target="T7"/>
26
<inputArc inscription="[0,inf)" source="P1" target="T7"/>
27
<inputArc inscription="[0,inf)" source="P0" target="T1"/>
28
<inputArc inscription="[0,inf)" source="P3" target="T0"/>
29
<inputArc inscription="[0,inf)" source="P7" target="T3"/>
30
<inputArc inscription="[0,inf)" source="P4" target="T2"/>
31
<inputArc inscription="[0,inf)" source="P14" target="T14"/>
32
<inputArc inscription="[0,inf)" source="P13" target="T15"/>
33
<inputArc inscription="[0,inf)" source="P14" target="T12"/>
34
<inputArc inscription="[0,inf)" source="P3" target="T13"/>
35
<inputArc inscription="[0,inf)" source="P11" target="T10"/>
36
<inputArc inscription="[0,inf)" source="P10" target="T11"/>
37
<inputArc inscription="[0,inf)" source="P9" target="T8"/>
38
<inputArc inscription="[0,inf)" source="P10" target="T9"/>
39
<outputArc inscription="1" source="T4" target="P3"/>
40
<outputArc inscription="1" source="T4" target="P14"/>
41
<outputArc inscription="1" source="T4" target="P11"/>
42
<outputArc inscription="1" source="T5" target="P5"/>
43
<outputArc inscription="1" source="T6" target="P6"/>
44
<outputArc inscription="1" source="T7" target="P2"/>
45
<outputArc inscription="1" source="T7" target="P7"/>
46
<outputArc inscription="1" source="T7" target="P15"/>
47
<outputArc inscription="1" source="T1" target="P3"/>
48
<outputArc inscription="1" source="T0" target="P1"/>
49
<outputArc inscription="1" source="T3" target="P4"/>
50
<outputArc inscription="1" source="T2" target="P7"/>
51
<outputArc inscription="1" source="T14" target="P13"/>
52
<outputArc inscription="1" source="T15" target="P14"/>
53
<outputArc inscription="1" source="T12" target="P12"/>
54
<outputArc inscription="1" source="T13" target="P0"/>
55
<outputArc inscription="1" source="T10" target="P10"/>
56
<outputArc inscription="1" source="T11" target="P9"/>
57
<outputArc inscription="1" source="T8" target="P10"/>
58
<outputArc inscription="1" source="T9" target="P8"/>
b'\\ No newline at end of file'