← Back to branch summary

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

1
2
3
4
5
6
7
8
9
10
11
12
13

<pnml>
<net id="ComposedModel" type="P/T net">
<place id="P0" name="P0" invariant="&lt; inf" initialMarking="1" />
<place id="P1" name="P1" invariant="&lt; inf" initialMarking="0" />
<place id="P2" name="P2" invariant="&lt; inf" initialMarking="0" />
<place id="P3" name="P3" invariant="&lt; inf" initialMarking="1" />
<transition id="T0" name="T0"/><transition id="T1" name="T1"/><inputArc inscription="[0,inf)" source="P0" target="T0"/>
<inputArc inscription="[0,inf)" source="P0" target="T1"/>
<outputArc inscription="1" source="T0" target="P1"/>
<outputArc inscription="1" source="T1" target="P2"/>
<inhibitorArc inscription="[0,inf)" source="P3" target="T1"/>
</net>
</pnml>