← Back to branch summary

~verifypn-cpn/verifypn/unitTest 

1
2
3
4
5
6
7
8
9
10

<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="1" />
<transition id="T0" name="T0" urgent="false"/><inputArc source="P0" target="T0"><inscription><value>1</value></inscription></inputArc>
<outputArc source="T0" target="P1"><inscription><value>1</value></inscription></outputArc>
<inhibitorArc source="P2" target="T0"><inscription><value>2</value></inscription></inhibitorArc>
</net>
</pnml>