<?xml version="1.0" encoding="ISO-8859-1"?><pnml>
<net id="Net-One" type="P/T net">
<token id="Default" enabled="true" red="0" green="0" blue="0"/>
<place id="button0">
<graphics>
<position x="510.0" y="155.0"/>
</graphics>
<name>
<value>button0</value>
<graphics>
<offset x="0.0" y="0.0"/>
</graphics>
</name>
<initialMarking>
<value>Default,0</value>
<graphics>
<offset x="0.0" y="0.0"/>
</graphics>
</initialMarking>
<capacity>
<value>0</value>
</capacity>
</place>
<place id="button1">
<graphics>
<position x="510.0" y="495.0"/>
</graphics>
<name>
<value>button1</value>
<graphics>
<offset x="0.0" y="0.0"/>
</graphics>
</name>
<initialMarking>
<value>Default,1</value>
<graphics>
<offset x="0.0" y="0.0"/>
</graphics>
</initialMarking>
<capacity>
<value>0</value>
</capacity>
</place>
<place id="lift0">
<graphics>
<position x="210.0" y="315.0"/>
</graphics>
<name>
<value>lift0</value>
<graphics>
<offset x="0.0" y="0.0"/>
</graphics>
</name>
<initialMarking>
<value>Default,1</value>
<graphics>
<offset x="0.0" y="0.0"/>
</graphics>
</initialMarking>
<capacity>
<value>0</value>
</capacity>
</place>
<place id="lift1">
<graphics>
<position x="765.0" y="315.0"/>
</graphics>
<name>
<value>lift1</value>
<graphics>
<offset x="0.0" y="0.0"/>
</graphics>
</name>
<initialMarking>
<value>Default,0</value>
<graphics>
<offset x="0.0" y="0.0"/>
</graphics>
</initialMarking>
<capacity>
<value>0</value>
</capacity>
</place>
<place id="liftdown">
<graphics>
<position x="510.0" y="390.0"/>
</graphics>
<name>
<value>liftdown</value>
<graphics>
<offset x="0.0" y="0.0"/>
</graphics>
</name>
<initialMarking>
<value>Default,0</value>
<graphics>
<offset x="0.0" y="0.0"/>
</graphics>
</initialMarking>
<capacity>
<value>0</value>
</capacity>
</place>
<place id="liftup">
<graphics>
<position x="510.0" y="255.0"/>
</graphics>
<name>
<value>liftup</value>
<graphics>
<offset x="0.0" y="0.0"/>
</graphics>
</name>
<initialMarking>
<value>Default,0</value>
<graphics>
<offset x="0.0" y="0.0"/>
</graphics>
</initialMarking>
<capacity>
<value>0</value>
</capacity>
</place>
<transition id="T0">
<graphics>
<position x="360.0" y="255.0"/>
</graphics>
<name>
<value>T0</value>
<graphics>
<offset x="-5.0" y="35.0"/>
</graphics>
</name>
<orientation>
<value>0</value>
</orientation>
<rate>
<value>1.0</value>
</rate>
<timed>
<value>false</value>
</timed>
<infiniteServer>
<value>false</value>
</infiniteServer>
<priority>
<value>1</value>
</priority>
</transition>
<transition id="T1">
<graphics>
<position x="645.0" y="255.0"/>
</graphics>
<name>
<value>T1</value>
<graphics>
<offset x="-5.0" y="35.0"/>
</graphics>
</name>
<orientation>
<value>0</value>
</orientation>
<rate>
<value>1.0</value>
</rate>
<timed>
<value>false</value>
</timed>
<infiniteServer>
<value>false</value>
</infiniteServer>
<priority>
<value>1</value>
</priority>
</transition>
<transition id="T2">
<graphics>
<position x="360.0" y="390.0"/>
</graphics>
<name>
<value>T2</value>
<graphics>
<offset x="-5.0" y="35.0"/>
</graphics>
</name>
<orientation>
<value>0</value>
</orientation>
<rate>
<value>1.0</value>
</rate>
<timed>
<value>false</value>
</timed>
<infiniteServer>
<value>false</value>
</infiniteServer>
<priority>
<value>1</value>
</priority>
</transition>
<transition id="T3">
<graphics>
<position x="645.0" y="390.0"/>
</graphics>
<name>
<value>T3</value>
<graphics>
<offset x="-5.0" y="35.0"/>
</graphics>
</name>
<orientation>
<value>0</value>
</orientation>
<rate>
<value>1.0</value>
</rate>
<timed>
<value>false</value>
</timed>
<infiniteServer>
<value>false</value>
</infiniteServer>
<priority>
<value>1</value>
</priority>
</transition>
<transition id="T4">
<graphics>
<position x="360.0" y="315.0"/>
</graphics>
<name>
<value>T4</value>
<graphics>
<offset x="-5.0" y="35.0"/>
</graphics>
</name>
<orientation>
<value>0</value>
</orientation>
<rate>
<value>1.0</value>
</rate>
<timed>
<value>false</value>
</timed>
<infiniteServer>
<value>false</value>
</infiniteServer>
<priority>
<value>1</value>
</priority>
</transition>
<transition id="T5">
<graphics>
<position x="645.0" y="315.0"/>
</graphics>
<name>
<value>T5</value>
<graphics>
<offset x="-5.0" y="35.0"/>
</graphics>
</name>
<orientation>
<value>0</value>
</orientation>
<rate>
<value>1.0</value>
</rate>
<timed>
<value>false</value>
</timed>
<infiniteServer>
<value>false</value>
</infiniteServer>
<priority>
<value>1</value>
</priority>
</transition>
<arc id="button0 to T0" source="button0" target="T0">
<graphics/>
<inscription>
<value>Default,1</value>
<graphics/>
</inscription>
<tagged>
<value>false</value>
</tagged>
<arcpath id="000" x="509" y="175" curvePoint="false"/>
<arcpath id="001" x="377" y="262" curvePoint="false"/>
<type value="normal"/>
</arc>
<arc id="button0 to T4" source="button0" target="T4">
<graphics/>
<inscription>
<value/>
<graphics/>
</inscription>
<tagged>
<value/>
</tagged>
<arcpath id="000" x="511" y="177" curvePoint="false"/>
<arcpath id="001" x="377" y="318" curvePoint="false"/>
<type value="inhibitor"/>
</arc>
<arc id="button0 to T5" source="button0" target="T5">
<graphics/>
<inscription>
<value>Default,1</value>
<graphics/>
</inscription>
<tagged>
<value>false</value>
</tagged>
<arcpath id="000" x="531" y="178" curvePoint="false"/>
<arcpath id="001" x="652" y="324" curvePoint="false"/>
<type value="normal"/>
</arc>
<arc id="button1 to T3" source="button1" target="T3">
<graphics/>
<inscription>
<value>Default,1</value>
<graphics/>
</inscription>
<tagged>
<value>false</value>
</tagged>
<arcpath id="000" x="533" y="497" curvePoint="false"/>
<arcpath id="001" x="651" y="407" curvePoint="false"/>
<type value="normal"/>
</arc>
<arc id="button1 to T4" source="button1" target="T4">
<graphics/>
<inscription>
<value>Default,1</value>
<graphics/>
</inscription>
<tagged>
<value>false</value>
</tagged>
<arcpath id="000" x="512" y="495" curvePoint="false"/>
<arcpath id="001" x="376" y="336" curvePoint="false"/>
<type value="normal"/>
</arc>
<arc id="button1 to T5" source="button1" target="T5">
<graphics/>
<inscription>
<value/>
<graphics/>
</inscription>
<tagged>
<value/>
</tagged>
<arcpath id="000" x="531" y="495" curvePoint="false"/>
<arcpath id="001" x="651" y="336" curvePoint="false"/>
<type value="inhibitor"/>
</arc>
<arc id="lift0 to T0" source="lift0" target="T0">
<graphics/>
<inscription>
<value>Default,1</value>
<graphics/>
</inscription>
<tagged>
<value>false</value>
</tagged>
<arcpath id="000" x="235" y="321" curvePoint="false"/>
<arcpath id="001" x="366" y="267" curvePoint="false"/>
<type value="normal"/>
</arc>
<arc id="lift0 to T4" source="lift0" target="T4">
<graphics/>
<inscription>
<value>Default,1</value>
<graphics/>
</inscription>
<tagged>
<value>false</value>
</tagged>
<arcpath id="000" x="236" y="327" curvePoint="false"/>
<arcpath id="001" x="366" y="327" curvePoint="false"/>
<type value="normal"/>
</arc>
<arc id="lift1 to T3" source="lift1" target="T3">
<graphics/>
<inscription>
<value>Default,1</value>
<graphics/>
</inscription>
<tagged>
<value>false</value>
</tagged>
<arcpath id="000" x="764" y="335" curvePoint="false"/>
<arcpath id="001" x="661" y="402" curvePoint="false"/>
<type value="normal"/>
</arc>
<arc id="lift1 to T5" source="lift1" target="T5">
<graphics/>
<inscription>
<value>Default,1</value>
<graphics/>
</inscription>
<tagged>
<value>false</value>
</tagged>
<arcpath id="000" x="762" y="327" curvePoint="false"/>
<arcpath id="001" x="661" y="327" curvePoint="false"/>
<type value="normal"/>
</arc>
<arc id="liftdown to T2" source="liftdown" target="T2">
<graphics/>
<inscription>
<value>Default,1</value>
<graphics/>
</inscription>
<tagged>
<value>false</value>
</tagged>
<arcpath id="000" x="507" y="402" curvePoint="false"/>
<arcpath id="001" x="376" y="402" curvePoint="false"/>
<type value="normal"/>
</arc>
<arc id="liftup to T1" source="liftup" target="T1">
<graphics/>
<inscription>
<value>Default,1</value>
<graphics/>
</inscription>
<tagged>
<value>false</value>
</tagged>
<arcpath id="000" x="536" y="267" curvePoint="false"/>
<arcpath id="001" x="651" y="267" curvePoint="false"/>
<type value="normal"/>
</arc>
<arc id="T0 to liftup" source="T0" target="liftup">
<graphics/>
<inscription>
<value>Default,1</value>
<graphics/>
</inscription>
<tagged>
<value>false</value>
</tagged>
<arcpath id="000" x="376" y="272" curvePoint="false"/>
<arcpath id="001" x="507" y="267" curvePoint="false"/>
<type value="normal"/>
</arc>
<arc id="T1 to lift1" source="T1" target="lift1">
<graphics/>
<inscription>
<value>Default,1</value>
<graphics/>
</inscription>
<tagged>
<value>false</value>
</tagged>
<arcpath id="000" x="661" y="267" curvePoint="false"/>
<arcpath id="001" x="763" y="320" curvePoint="false"/>
<type value="normal"/>
</arc>
<arc id="T2 to lift0" source="T2" target="lift0">
<graphics/>
<inscription>
<value>Default,1</value>
<graphics/>
</inscription>
<tagged>
<value>false</value>
</tagged>
<arcpath id="000" x="366" y="402" curvePoint="false"/>
<arcpath id="001" x="235" y="333" curvePoint="false"/>
<type value="normal"/>
</arc>
<arc id="T3 to liftdown" source="T3" target="liftdown">
<graphics/>
<inscription>
<value>Default,1</value>
<graphics/>
</inscription>
<tagged>
<value>false</value>
</tagged>
<arcpath id="000" x="652" y="397" curvePoint="false"/>
<arcpath id="001" x="536" y="401" curvePoint="false"/>
<type value="normal"/>
</arc>
<arc id="T4 to button1" source="T4" target="button1">
<graphics/>
<inscription>
<value>Default,1</value>
<graphics/>
</inscription>
<tagged>
<value>false</value>
</tagged>
<arcpath id="000" x="376" y="330" curvePoint="false"/>
<arcpath id="001" x="512" y="495" curvePoint="false"/>
<type value="normal"/>
</arc>
<arc id="T4 to liftup" source="T4" target="liftup">
<graphics/>
<inscription>
<value>Default,1</value>
<graphics/>
</inscription>
<tagged>
<value>false</value>
</tagged>
<arcpath id="000" x="377" y="324" curvePoint="false"/>
<arcpath id="001" x="508" y="272" curvePoint="false"/>
<type value="normal"/>
</arc>
<arc id="T5 to button0" source="T5" target="button0">
<graphics/>
<inscription>
<value>Default,1</value>
<graphics/>
</inscription>
<tagged>
<value>false</value>
</tagged>
<arcpath id="000" x="652" y="318" curvePoint="false"/>
<arcpath id="001" x="531" y="178" curvePoint="false"/>
<type value="normal"/>
</arc>
<arc id="T5 to liftdown" source="T5" target="liftdown">
<graphics/>
<inscription>
<value>Default,1</value>
<graphics/>
</inscription>
<tagged>
<value>false</value>
</tagged>
<arcpath id="000" x="651" y="330" curvePoint="false"/>
<arcpath id="001" x="535" y="394" curvePoint="false"/>
<type value="normal"/>
</arc>
</net>
</pnml>
