← Back to branch summary

~verifydtapn-contributers/verifydtapn/d3.4

« back to all changes in this revision

Viewing changes to example-nets/inv-test.xml

  • Committer: Jiri Srba
  • Date: 2020-09-09 17:52:56 UTC
  • mfrom: (338.1.41 cmake)
  • Revision ID: srba@cs.aau.dk-20200909175256-6y90y7whhki3t4u2
merged in lp:~verifydtapn-contributers/verifydtapn/cmake that uses cmake, adds AF games, code cleanup 

Show diffs side-by-side

added added

removed removed

Lines of Context:
example-nets/inv-test.xml
1
1
<pnml>
2
 
<net id="TAPN1" type="P/T net">
3
 
<place id="P0" name="P0" invariant="&lt; inf" initialMarking="1" />
4
 
<place id="P1" name="P1" invariant="&lt; inf" initialMarking="0" />
5
 
<place id="P2" name="P2" invariant="&lt;= 0" initialMarking="1" />
6
 
<transition id="T0" name="T0"/>
7
 
<inputArc inscription="[1,inf)" source="P0" target="T0"/>
8
 
<outputArc inscription="1" source="T0" target="P1"/>
9
 
</net>
 
2
    <net id="TAPN1" type="P/T net">
 
3
        <place id="P0" name="P0" invariant="&lt; inf" initialMarking="1"/>
 
4
        <place id="P1" name="P1" invariant="&lt; inf" initialMarking="0"/>
 
5
        <place id="P2" name="P2" invariant="&lt;= 0" initialMarking="1"/>
 
6
        <transition id="T0" name="T0"/>
 
7
        <inputArc inscription="[1,inf)" source="P0" target="T0"/>
 
8
        <outputArc inscription="1" source="T0" target="P1"/>
 
9
    </net>
10
10
</pnml>