← Back to branch summary

~tapaal-dist-ctl/verifypn/verifypn-dist-ctl

« back to all changes in this revision

Viewing changes to Tests/TAPAAL-test-nets/000-untimed-inhibitors-test004.xml

  • Committer: Jiri Srba
  • Date: 2014-03-05 07:02:55 UTC
  • mfrom: (40.1.68 reductions)
  • Revision ID: srba@cs.aau.dk-20140305070255-m06q3nl5p2o5wq9q
merged in a branch implementing -r switch
enabeling structural net reductions as preprocessing
for the verification

Show diffs side-by-side

added added

removed removed

Lines of Context:
Tests/TAPAAL-test-nets/000-untimed-inhibitors-test004.xml
 
1
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
 
2
<pnml xmlns="http://www.informatik.hu-berlin.de/top/pnml/ptNetb">
 
3
<net active="true" id="TAPN1" type="P/T net">
 
4
<place id="P18" initialMarking="1" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P18" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="135.0" positionY="135.0"/>
 
5
<place id="P19" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P19" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="135.0" positionY="345.0"/>
 
6
<place id="Final" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Final" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="135.0" positionY="585.0"/>
 
7
<place id="P21" initialMarking="1" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P21" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="315.0" positionY="240.0"/>
 
8
<place id="P22" initialMarking="1" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P22" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="315.0" positionY="480.0"/>
 
9
<transition angle="0" id="T8" infiniteServer="false" name="T8" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="135.0" positionY="240.0" priority="1" timed="false"/>
 
10
<transition angle="0" id="T9" infiniteServer="false" name="T9" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="135.0" positionY="480.0" priority="1" timed="false"/>
 
11
<transition angle="0" id="T10" infiniteServer="false" name="T10" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="450.0" positionY="345.0" priority="1" timed="false"/>
 
12
<transition angle="0" id="T11" infiniteServer="false" name="T11" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="240.0" positionY="315.0" priority="1" timed="false"/>
 
13
<arc id="P21 to T11" inscription="[0,inf)" source="P21" target="T11" type="timed">
 
14
<arcpath arcPointType="false" id="0" xCoord="316" yCoord="262"/>
 
15
<arcpath arcPointType="false" id="1" xCoord="256" yCoord="327"/>
 
16
</arc>
 
17
<arc id="T11 to P22" inscription="1" source="T11" target="P22" type="normal">
 
18
<arcpath arcPointType="false" id="0" xCoord="252" yCoord="342"/>
 
19
<arcpath arcPointType="false" id="1" xCoord="320" yCoord="478"/>
 
20
</arc>
 
21
<arc id="P22 to T10" inscription="[0,inf)" source="P22" target="T10" type="timed">
 
22
<arcpath arcPointType="false" id="0" xCoord="337" yCoord="481"/>
 
23
<arcpath arcPointType="false" id="1" xCoord="456" yCoord="362"/>
 
24
</arc>
 
25
<arc id="T10 to P21" inscription="1" source="T10" target="P21" type="normal">
 
26
<arcpath arcPointType="false" id="0" xCoord="457" yCoord="352"/>
 
27
<arcpath arcPointType="false" id="1" xCoord="338" yCoord="261"/>
 
28
</arc>
 
29
<arc id="P18 to T8" inscription="[0,inf):1" source="P18" target="T8" type="transport">
 
30
<arcpath arcPointType="false" id="0" xCoord="147" yCoord="161"/>
 
31
<arcpath arcPointType="false" id="1" xCoord="147" yCoord="237"/>
 
32
</arc>
 
33
<arc id="T8 to P19" inscription="[0,inf):1" source="T8" target="P19" type="transport">
 
34
<arcpath arcPointType="false" id="0" xCoord="147" yCoord="267"/>
 
35
<arcpath arcPointType="false" id="1" xCoord="147" yCoord="342"/>
 
36
</arc>
 
37
<arc id="P19 to T9" inscription="[0,inf):1" source="P19" target="T9" type="transport">
 
38
<arcpath arcPointType="false" id="0" xCoord="147" yCoord="371"/>
 
39
<arcpath arcPointType="false" id="1" xCoord="147" yCoord="477"/>
 
40
</arc>
 
41
<arc id="T9 to Final" inscription="[0,inf):1" source="T9" target="Final" type="transport">
 
42
<arcpath arcPointType="false" id="0" xCoord="147" yCoord="507"/>
 
43
<arcpath arcPointType="false" id="1" xCoord="147" yCoord="582"/>
 
44
</arc>
 
45
<arc id="P21 to T8" inscription="[0,inf)" source="P21" target="T8" type="tapnInhibitor">
 
46
<arcpath arcPointType="false" id="0" xCoord="312" yCoord="252"/>
 
47
<arcpath arcPointType="false" id="1" xCoord="151" yCoord="252"/>
 
48
</arc>
 
49
<arc id="P22 to T9" inscription="[0,inf)" source="P22" target="T9" type="tapnInhibitor">
 
50
<arcpath arcPointType="false" id="0" xCoord="312" yCoord="492"/>
 
51
<arcpath arcPointType="false" id="1" xCoord="151" yCoord="492"/>
 
52
</arc>
 
53
</net>
 
54
<query active="true" capacity="3" discreteInclusion="false" extrapolationOption="null" hashTableSize="null" name="TRUE" query="EF TAPN1.Final&gt;=1" reductionOption="BROADCAST" searchOption="BFS" symmetry="true" traceOption="NONE"/>
 
55
</pnml>