← Back to branch summary

~verifypn-cpn/verifypn/colored

« back to all changes in this revision

Viewing changes to Tests/Kanban1000MemLimit-2.xml

  • Committer: Jonas Finnemann Jensen
  • Date: 2011-09-15 13:30:00 UTC
  • Revision ID: jopsen@gmail.com-20110915133000-wnywm1odf82emiuw
Import of sources from github

Show diffs side-by-side

added added

removed removed

Lines of Context:
Tests/Kanban1000MemLimit-2.xml
 
1
<pnml>
 
2
<net id="ComposedModel" type="P/T net">
 
3
<place id="P0" name="P0" invariant="&lt; inf" initialMarking="0" />
 
4
<place id="P1" name="P1" invariant="&lt; inf" initialMarking="0" />
 
5
<place id="P2" name="P2" invariant="&lt; inf" initialMarking="1000" />
 
6
<place id="P3" name="P3" invariant="&lt; inf" initialMarking="0" />
 
7
<place id="P4" name="P4" invariant="&lt; inf" initialMarking="0" />
 
8
<place id="P5" name="P5" invariant="&lt; inf" initialMarking="0" />
 
9
<place id="P6" name="P6" invariant="&lt; inf" initialMarking="1000" />
 
10
<place id="P7" name="P7" invariant="&lt; inf" initialMarking="0" />
 
11
<place id="P8" name="P8" invariant="&lt; inf" initialMarking="0" />
 
12
<place id="P9" name="P9" invariant="&lt; inf" initialMarking="0" />
 
13
<place id="P10" name="P10" invariant="&lt; inf" initialMarking="0" />
 
14
<place id="P11" name="P11" invariant="&lt; inf" initialMarking="1000" />
 
15
<place id="P12" name="P12" invariant="&lt; inf" initialMarking="0" />
 
16
<place id="P13" name="P13" invariant="&lt; inf" initialMarking="0" />
 
17
<place id="P14" name="P14" invariant="&lt; inf" initialMarking="0" />
 
18
<place id="P15" name="P15" invariant="&lt; 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"/>
 
59
</net>
 
60
</pnml>
 
 
b'\\ No newline at end of file'