← Back to branch summary

~tapaal-ltl/verifypn/rule-D-fix

« back to all changes in this revision

Viewing changes to Tests/TransportArc-0.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/TransportArc-0.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="1" />
 
5
<transition id="T0" name="T0"/><transportArc inscription="[0,inf)" source="P1" transition="T0" target="P0"/>
 
6
</net>
 
7
</pnml>
 
 
b'\\ No newline at end of file'