1950 lines
122 KiB
XML
1950 lines
122 KiB
XML
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
|
<!-- This project file has been saved by the New GreatSPN Editor, v.100 --><project name="AP" version="121">
|
|
<gspn name="3.2" show-color-cmd="false" show-fluid-cmd="false" show-timed-cmd="false" view-rates="false">
|
|
<nodes>
|
|
<place label-x="-2.5" label-y="0.0" marking="1" name="P1" x="7.0" y="3.0"/>
|
|
<place label-x="-2.0" label-y="0.0" name="P2" x="7.0" y="12.0"/>
|
|
<place label-x="-2.0" label-y="0.0" name="P3" x="7.0" y="23.0"/>
|
|
<place label-x="-2.0" label-y="0.0" name="P4" x="7.0" y="33.0"/>
|
|
<transition label-x="-2.5" label-y="0.0" name="waitP" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="7.55" y="8.0"/>
|
|
<transition label-y="-2.0" name="isTurnP" nservers-x="0.5" rotation="3.141592653589793" type="EXP" x="20.55" y="14.0"/>
|
|
<transition label-x="-2.5" label-y="0.0" name="csP" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="7.55" y="28.0"/>
|
|
<transition label-y="-2.0" name="PsetQbis" nservers-x="0.5" rotation="3.141592653589793" type="EXP" x="20.55" y="27.0"/>
|
|
<transition label-x="1.5" label-y="-1.0" name="ncsP" nservers-x="0.5" rotation="2.356194490192345" type="EXP" x="12.55" y="1.0"/>
|
|
<transition label-y="-2.0" name="QsetP" nservers-x="0.5" rotation="-0.0" type="EXP" x="37.55" y="20.0"/>
|
|
<place label-x="3.5" label-y="0.0" marking="1" name="Q1" x="50.0" y="4.0"/>
|
|
<place label-x="3.0" label-y="0.0" name="Q2" x="50.0" y="13.0"/>
|
|
<place label-x="3.0" label-y="0.0" name="Q3" x="50.0" y="24.0"/>
|
|
<place label-x="3.0" label-y="0.0" name="Q4" x="50.0" y="34.0"/>
|
|
<transition label-x="3.0" label-y="0.0" name="waitQ" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="50.55" y="9.0"/>
|
|
<transition label-y="2.0" name="isTurnQ" nservers-x="0.5" rotation="-0.0" type="EXP" x="37.55" y="27.0"/>
|
|
<transition label-x="3.0" label-y="0.0" name="csQ" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="50.55" y="30.0"/>
|
|
<transition label-x="2.0" label-y="-2.0" name="QsetPbis" nservers-x="0.5" rotation="-0.0" type="EXP" x="37.55" y="14.0"/>
|
|
<transition label-x="-2.0" label-y="-1.0" name="ncsQ" nservers-x="0.5" rotation="0.5235987755982988" type="EXP" x="43.55" y="3.0"/>
|
|
<place label-x="0.5" label-y="-1.5" marking="1" name="TurnP" x="28.0" y="13.0"/>
|
|
<place label-y="2.0" name="TurnQ" x="28.0" y="26.0"/>
|
|
<transition label-y="2.0" name="PsetQ" nservers-x="0.5" rotation="3.141592653589793" type="EXP" x="20.55" y="19.0"/>
|
|
</nodes>
|
|
<edges>
|
|
<arc head="waitP" kind="INPUT" tail="P1"/>
|
|
<arc head="P2" kind="OUTPUT" tail="waitP"/>
|
|
<arc head="isTurnP" kind="INPUT" tail="P2"/>
|
|
<arc head="P3" kind="OUTPUT" tail="isTurnP"/>
|
|
<arc head="csP" kind="INPUT" tail="P3"/>
|
|
<arc head="P4" kind="OUTPUT" tail="csP"/>
|
|
<arc head="PsetQbis" kind="INPUT" tail="P4"/>
|
|
<arc head="P1" kind="OUTPUT" tail="PsetQbis">
|
|
<point x="20.5" y="36.5"/>
|
|
<point x="3.0" y="36.5"/>
|
|
<point x="2.5" y="1.0"/>
|
|
<point x="8.0" y="1.0"/>
|
|
</arc>
|
|
<arc head="ncsP" kind="INPUT" mult-k="0.7000976562500001" tail="P1">
|
|
<point x="10.0" y="1.0"/>
|
|
</arc>
|
|
<arc head="P1" kind="OUTPUT" tail="ncsP">
|
|
<point x="12.0" y="4.5"/>
|
|
</arc>
|
|
<arc head="waitQ" kind="INPUT" tail="Q1"/>
|
|
<arc head="Q2" kind="OUTPUT" tail="waitQ"/>
|
|
<arc head="isTurnQ" kind="INPUT" tail="Q2"/>
|
|
<arc head="Q3" kind="OUTPUT" tail="isTurnQ"/>
|
|
<arc head="csQ" kind="INPUT" tail="Q3"/>
|
|
<arc head="Q4" kind="OUTPUT" tail="csQ"/>
|
|
<arc head="QsetPbis" kind="INPUT" mult-k="1.2262695312499998" tail="Q4">
|
|
<point x="47.5" y="28.0"/>
|
|
</arc>
|
|
<arc head="Q1" kind="OUTPUT" mult-k="0.50009765625" tail="QsetPbis">
|
|
<point x="38.0" y="1.5"/>
|
|
<point x="51.0" y="1.5"/>
|
|
</arc>
|
|
<arc head="ncsQ" kind="INPUT" mult-k="0.6491210937500002" tail="Q1">
|
|
<point x="48.30263671875" y="2.25751953125"/>
|
|
</arc>
|
|
<arc head="Q1" kind="OUTPUT" tail="ncsQ">
|
|
<point x="45.0" y="6.5"/>
|
|
</arc>
|
|
<arc head="isTurnP" kind="INPUT" mult-k="1.30283203125" mult-x="1.4740400517841472" mult-y="-2.974040051784147" tail="TurnP">
|
|
<point x="25.0" y="12.5"/>
|
|
</arc>
|
|
<arc head="TurnP" kind="OUTPUT" mult-x="0.1481654344173613" mult-y="0.9592661737669452" tail="isTurnP">
|
|
<point x="25.0" y="16.5"/>
|
|
</arc>
|
|
<arc head="isTurnQ" kind="INPUT" tail="TurnQ">
|
|
<point x="34.0" y="26.0"/>
|
|
</arc>
|
|
<arc head="TurnQ" kind="OUTPUT" tail="isTurnQ">
|
|
<point x="34.0" y="30.0"/>
|
|
</arc>
|
|
<arc head="PsetQ" kind="INPUT" tail="TurnP">
|
|
<point x="26.5" y="19.0"/>
|
|
</arc>
|
|
<arc head="PsetQ" kind="INPUT" tail="P4"/>
|
|
<arc head="P1" kind="OUTPUT" mult-k="0.18193359375000004" tail="PsetQ"/>
|
|
<arc head="TurnQ" kind="OUTPUT" tail="PsetQ">
|
|
<point x="27.0" y="25.0"/>
|
|
</arc>
|
|
<arc head="TurnQ" kind="OUTPUT" mult-k="1.21181640625" tail="PsetQbis">
|
|
<point x="24.0" y="26.5"/>
|
|
</arc>
|
|
<arc head="PsetQbis" kind="INPUT" tail="TurnQ">
|
|
<point x="24.5" y="30.0"/>
|
|
</arc>
|
|
<arc head="TurnP" kind="OUTPUT" mult-k="0.9266601562500001" tail="QsetPbis">
|
|
<point x="34.0" y="12.5"/>
|
|
</arc>
|
|
<arc head="QsetP" kind="INPUT" mult-k="1.24462890625" tail="Q4">
|
|
<point x="47.5" y="36.0"/>
|
|
</arc>
|
|
<arc head="TurnP" kind="OUTPUT" tail="QsetP">
|
|
<point x="32.5" y="16.5"/>
|
|
</arc>
|
|
<arc head="Q1" kind="OUTPUT" mult-k="0.28720703125" tail="QsetP"/>
|
|
<arc head="QsetP" kind="INPUT" tail="TurnQ"/>
|
|
<arc head="QsetPbis" kind="INPUT" mult-x="-0.8691270934125797" mult-y="0.5514548443123655" tail="TurnP">
|
|
<point x="33.5" y="16.0"/>
|
|
</arc>
|
|
</edges>
|
|
</gspn>
|
|
<gspn name="3.5" show-color-cmd="false" show-fluid-cmd="false" show-timed-cmd="false" view-rates="false">
|
|
<nodes>
|
|
<place label-x="-2.0" label-y="0.0" marking="1" name="P1" x="6.0" y="3.0"/>
|
|
<place label-y="-2.0" marking="1" name="TurnP" x="21.0" y="6.0"/>
|
|
<place label-x="2.0" label-y="0.0" marking="1" name="Q1" x="37.0" y="3.0"/>
|
|
<transition label-y="-2.0" name="isTurnP" nservers-x="0.5" rotation="3.141592653589793" type="EXP" x="13.55" y="6.0"/>
|
|
<place label-x="-2.0" label-y="0.0" name="P2" x="6.0" y="11.0"/>
|
|
<transition label-y="2.0" name="PsetQ" nservers-x="0.5" rotation="3.141592653589793" type="EXP" x="13.55" y="13.0"/>
|
|
<place name="TurnQ" x="21.0" y="18.0"/>
|
|
<transition label-y="2.0" name="PsetQbis" nservers-x="0.5" rotation="3.141592653589793" type="EXP" x="13.55" y="18.0"/>
|
|
<transition label-y="2.0" name="isTurnQ" nservers-x="0.5" rotation="-0.0" type="EXP" x="28.55" y="18.0"/>
|
|
<place label-x="2.0" label-y="0.0" name="Q2" x="37.0" y="11.0"/>
|
|
<transition label-y="-2.0" name="QsetPbis" nservers-x="0.5" rotation="-0.0" type="EXP" x="28.55" y="6.0"/>
|
|
<transition label-y="2.0" name="QsetP" nservers-x="0.5" rotation="-0.0" type="EXP" x="28.55" y="13.0"/>
|
|
</nodes>
|
|
<edges>
|
|
<arc head="isTurnP" kind="INPUT" mult-k="0.0" tail="P1"/>
|
|
<arc head="isTurnP" kind="INPUT" mult-k="0.80439453125" tail="TurnP">
|
|
<point x="17.0" y="5.0"/>
|
|
</arc>
|
|
<arc head="P2" kind="OUTPUT" tail="isTurnP"/>
|
|
<arc head="TurnP" kind="OUTPUT" mult-x="-0.09780548911717268" mult-y="1.9021945108828273" tail="isTurnP">
|
|
<point x="17.0" y="10.0"/>
|
|
</arc>
|
|
<arc head="PsetQ" kind="INPUT" tail="P2"/>
|
|
<arc head="P1" kind="OUTPUT" mult-k="0.0" tail="PsetQ"/>
|
|
<arc head="PsetQ" kind="INPUT" tail="TurnP">
|
|
<point x="20.0" y="10.5"/>
|
|
</arc>
|
|
<arc head="TurnQ" kind="OUTPUT" mult-k="1.28271484375" tail="PsetQ">
|
|
<point x="20.0" y="15.5"/>
|
|
</arc>
|
|
<arc head="PsetQbis" kind="INPUT" tail="P2"/>
|
|
<arc head="TurnQ" kind="OUTPUT" tail="PsetQbis">
|
|
<point x="18.5" y="17.5"/>
|
|
</arc>
|
|
<arc head="PsetQbis" kind="INPUT" tail="TurnQ">
|
|
<point x="18.5" y="21.5"/>
|
|
</arc>
|
|
<arc head="P1" kind="OUTPUT" tail="PsetQbis">
|
|
<point x="2.0" y="21.0"/>
|
|
<point x="2.0" y="0.5"/>
|
|
<point x="10.0" y="1.0"/>
|
|
<point x="10.0" y="3.0"/>
|
|
</arc>
|
|
<arc head="isTurnQ" kind="INPUT" mult-k="1.2944335937499996" tail="Q1">
|
|
<point x="36.5" y="9.5"/>
|
|
</arc>
|
|
<arc head="Q2" kind="OUTPUT" mult-k="1.2678710937499997" tail="isTurnQ">
|
|
<point x="31.95048828125" y="18.20517578125"/>
|
|
</arc>
|
|
<arc head="QsetPbis" kind="INPUT" tail="Q2"/>
|
|
<arc head="QsetP" kind="INPUT" tail="Q2"/>
|
|
<arc head="TurnP" kind="OUTPUT" mult-x="1.6607749637589215" mult-y="2.196464978255353" tail="QsetPbis">
|
|
<point x="25.0" y="5.0"/>
|
|
</arc>
|
|
<arc head="QsetPbis" kind="INPUT" mult-x="-0.8691270934125797" mult-y="1.5514548443123655" tail="TurnP">
|
|
<point x="25.0" y="9.0"/>
|
|
</arc>
|
|
<arc head="Q1" kind="OUTPUT" tail="QsetPbis">
|
|
<point x="34.5" y="4.5"/>
|
|
</arc>
|
|
<arc head="TurnP" kind="OUTPUT" mult-x="1.5457634636855886" mult-y="-1.196609292366814" tail="QsetP">
|
|
<point x="24.5" y="11.5"/>
|
|
</arc>
|
|
<arc head="QsetP" kind="INPUT" mult-k="0.49990234375" tail="TurnQ">
|
|
<point x="24.5" y="17.0"/>
|
|
</arc>
|
|
<arc head="Q1" kind="OUTPUT" tail="QsetP">
|
|
<point x="35.5" y="6.0"/>
|
|
</arc>
|
|
<arc head="TurnQ" kind="OUTPUT" tail="isTurnQ">
|
|
<point x="25.0" y="21.0"/>
|
|
</arc>
|
|
<arc head="isTurnQ" kind="INPUT" tail="TurnQ">
|
|
<point x="25.5" y="17.5"/>
|
|
</arc>
|
|
</edges>
|
|
</gspn>
|
|
<gspn name="3.6" show-color-cmd="false" show-fluid-cmd="false" show-timed-cmd="false" view-rates="false" zoom="75">
|
|
<nodes>
|
|
<place label-x="-1.5" label-y="-1.0" marking="1" name="P1" x="6.0" y="7.0"/>
|
|
<place label-x="2.0" label-y="0.0" marking="1" name="Q1" x="58.0" y="7.0"/>
|
|
<place label-x="2.0" label-y="0.0" name="Q3" x="58.0" y="25.0"/>
|
|
<place label-x="2.0" label-y="0.0" name="Q2" x="58.0" y="16.0"/>
|
|
<place label-x="-2.0" label-y="0.0" name="P2" x="6.0" y="16.0"/>
|
|
<transition label-x="-2.0" label-y="0.0" name="T1" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="6.55" y="12.0"/>
|
|
<place label-x="-2.0" label-y="0.0" name="P3" x="6.0" y="25.0"/>
|
|
<transition label-y="-2.0" name="T2" nservers-x="0.5" rotation="3.141592653589793" type="EXP" x="20.55" y="17.0"/>
|
|
<place label-y="-2.0" name="wantP_true" x="30.0" y="29.0"/>
|
|
<place label-y="-2.0" name="wantQ_true" x="30.0" y="6.0"/>
|
|
<transition name="T3" nservers-x="0.5" rotation="3.141592653589793" type="EXP" x="20.55" y="29.0"/>
|
|
<place label-x="-2.0" label-y="0.0" name="P4" x="6.0" y="34.0"/>
|
|
<transition label-x="-2.0" label-y="0.0" name="T4" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="6.55" y="39.0"/>
|
|
<place label-x="-2.0" label-y="0.0" name="P5" x="6.0" y="44.0"/>
|
|
<transition label-y="2.0" name="T5" nservers-x="0.5" rotation="3.141592653589793" type="EXP" x="20.55" y="42.0"/>
|
|
<place label-y="2.0" marking="1" name="wantQ_false" x="30.0" y="17.0"/>
|
|
<place label-y="2.0" marking="1" name="wantP_false" x="30.0" y="42.0"/>
|
|
<transition name="T6" nservers-x="0.5" rotation="-0.0" type="EXP" x="39.55" y="35.0"/>
|
|
<transition label-y="-2.0" name="T7" nservers-x="0.5" rotation="3.141592653589793" type="EXP" x="20.55" y="35.0"/>
|
|
<place label-x="2.0" label-y="0.0" name="Q4" x="58.0" y="34.0"/>
|
|
<place label-x="2.0" label-y="0.0" name="Q5" x="58.0" y="44.0"/>
|
|
<transition label-x="2.0" label-y="0.0" name="T8" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="58.55" y="12.0"/>
|
|
<transition label-y="2.0" name="T9" nservers-x="0.5" rotation="-0.0" type="EXP" x="39.55" y="42.0"/>
|
|
<transition name="T10" nservers-x="0.5" rotation="-0.0" type="EXP" x="39.55" y="12.0"/>
|
|
<transition name="T11" nservers-x="0.5" type="EXP" x="39.55" y="6.0"/>
|
|
<transition name="T12" nservers-x="0.5" rotation="0.7853981633974483" type="EXP" x="53.55" y="5.0"/>
|
|
<transition label-x="2.0" label-y="0.0" name="T13" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="58.55" y="39.0"/>
|
|
<transition label-x="-1.5" label-y="0.0" name="T14" nservers-x="0.5" rotation="-0.0" type="EXP" x="20.55" y="10.0"/>
|
|
<transition name="T15" nservers-x="0.5" rotation="-0.0" type="EXP" x="39.55" y="17.0"/>
|
|
<transition name="T0" nservers-x="0.5" rotation="2.356194490192345" type="EXP" x="11.55" y="4.0"/>
|
|
</nodes>
|
|
<edges>
|
|
<arc head="T1" kind="INPUT" tail="P1"/>
|
|
<arc head="P2" kind="OUTPUT" tail="T1"/>
|
|
<arc head="T2" kind="INPUT" tail="P2"/>
|
|
<arc head="P3" kind="OUTPUT" tail="T2"/>
|
|
<arc head="T3" kind="INPUT" tail="P3"/>
|
|
<arc head="P4" kind="OUTPUT" tail="T3"/>
|
|
<arc head="wantP_true" kind="OUTPUT" mult-k="1.1668945312499996" tail="T3">
|
|
<point x="26.5" y="31.5"/>
|
|
</arc>
|
|
<arc head="T4" kind="INPUT" tail="P4"/>
|
|
<arc head="P5" kind="OUTPUT" tail="T4"/>
|
|
<arc head="T2" kind="INPUT" tail="wantQ_false">
|
|
<point x="26.0" y="16.0"/>
|
|
</arc>
|
|
<arc head="wantQ_false" kind="OUTPUT" tail="T2">
|
|
<point x="26.0" y="19.5"/>
|
|
</arc>
|
|
<arc head="T3" kind="INPUT" tail="wantP_true">
|
|
<point x="26.5" y="28.0"/>
|
|
</arc>
|
|
<arc head="T5" kind="INPUT" mult-k="0.86279296875" tail="P5">
|
|
<point x="14.996679687500002" y="43.8576171875"/>
|
|
</arc>
|
|
<arc head="wantP_false" kind="OUTPUT" tail="T5">
|
|
<point x="25.0" y="40.5"/>
|
|
</arc>
|
|
<arc head="T5" kind="INPUT" tail="wantP_false">
|
|
<point x="25.5" y="45.0"/>
|
|
</arc>
|
|
<arc head="T6" kind="INPUT" mult-k="0.87236328125" tail="P5">
|
|
<point x="13.0" y="41.0"/>
|
|
</arc>
|
|
<arc head="P1" kind="OUTPUT" tail="T5">
|
|
<point x="17.5" y="47.5"/>
|
|
<point x="1.5" y="47.5"/>
|
|
<point x="2.0" y="3.0"/>
|
|
<point x="7.0" y="3.0"/>
|
|
</arc>
|
|
<arc head="T6" kind="INPUT" mult-k="0.14658203125000002" tail="wantP_true"/>
|
|
<arc head="wantP_false" kind="OUTPUT" mult-k="0.12587890625" tail="T6"/>
|
|
<arc head="T7" kind="INPUT" mult-k="1.3561523437499998" tail="wantP_false">
|
|
<point x="30.2255859375" y="40.90791015625"/>
|
|
</arc>
|
|
<arc head="T7" kind="INPUT" tail="P3"/>
|
|
<arc head="P4" kind="OUTPUT" mult-k="1.2723632812499996" tail="T7">
|
|
<point x="16.5" y="37.5"/>
|
|
</arc>
|
|
<arc head="wantP_true" kind="OUTPUT" mult-k="0.8538085937500001" tail="T7">
|
|
<point x="29.0" y="33.5"/>
|
|
</arc>
|
|
<arc head="P1" kind="OUTPUT" mult-k="1.5305664062500002" tail="T6">
|
|
<point x="39.5" y="38.5"/>
|
|
<point x="31.5" y="48.0"/>
|
|
<point x="2.5" y="48.0"/>
|
|
<point x="3.0" y="8.0"/>
|
|
</arc>
|
|
<arc head="T11" kind="INPUT" mult-k="1.23818359375" mult-x="-0.12922092142434138" mult-y="1.201542154465871" tail="Q3">
|
|
<point x="50.0" y="10.5"/>
|
|
</arc>
|
|
<arc head="T12" kind="INPUT" tail="Q1">
|
|
<point x="57.5" y="6.0"/>
|
|
</arc>
|
|
<arc head="Q1" kind="OUTPUT" tail="T12">
|
|
<point x="55.5" y="8.5"/>
|
|
</arc>
|
|
<arc head="T8" kind="INPUT" tail="Q1"/>
|
|
<arc head="Q2" kind="OUTPUT" tail="T8"/>
|
|
<arc head="T9" kind="INPUT" tail="Q2"/>
|
|
<arc head="Q3" kind="OUTPUT" mult-k="1.3563476562499996" tail="T9">
|
|
<point x="46.5" y="43.0"/>
|
|
</arc>
|
|
<arc head="wantP_false" kind="OUTPUT" mult-k="0.0" tail="T9">
|
|
<point x="36.0" y="45.0"/>
|
|
</arc>
|
|
<arc head="T9" kind="INPUT" mult-k="1.5124023437499998" tail="wantP_false">
|
|
<point x="36.5" y="41.0"/>
|
|
</arc>
|
|
<arc head="wantQ_true" kind="OUTPUT" mult-k="0.0" tail="T11">
|
|
<point x="35.5" y="8.0"/>
|
|
</arc>
|
|
<arc head="T11" kind="INPUT" mult-k="1.9999023437499996" tail="wantQ_true">
|
|
<point x="35.5" y="4.5"/>
|
|
</arc>
|
|
<arc head="Q4" kind="OUTPUT" mult-k="1.20517578125" tail="T11">
|
|
<point x="53.0" y="23.0"/>
|
|
</arc>
|
|
<arc head="T10" kind="INPUT" mult-k="0.5180664062500001" tail="Q3">
|
|
<point x="42.0" y="13.0"/>
|
|
</arc>
|
|
<arc head="wantQ_true" kind="OUTPUT" mult-k="0.15654296875000004" tail="T10"/>
|
|
<arc head="T10" kind="INPUT" mult-k="1.09814453125" tail="wantQ_false">
|
|
<point x="37.0" y="13.5"/>
|
|
</arc>
|
|
<arc head="Q4" kind="OUTPUT" mult-k="1.07607421875" tail="T10">
|
|
<point x="52.5" y="31.0"/>
|
|
</arc>
|
|
<arc head="T13" kind="INPUT" tail="Q4"/>
|
|
<arc head="Q5" kind="OUTPUT" tail="T13"/>
|
|
<arc head="T14" kind="INPUT" mult-k="0.6487304687500001" tail="Q5">
|
|
<point x="26.5" y="22.5"/>
|
|
</arc>
|
|
<arc head="T15" kind="INPUT" tail="Q5"/>
|
|
<arc head="Q1" kind="OUTPUT" mult-k="0.0" tail="T15">
|
|
<point x="57.5" y="11.0"/>
|
|
</arc>
|
|
<arc head="Q1" kind="OUTPUT" mult-k="1.1920898437500003" tail="T14">
|
|
<point x="25.0" y="2.5"/>
|
|
<point x="59.0" y="2.5"/>
|
|
</arc>
|
|
<arc head="wantQ_false" kind="OUTPUT" mult-k="0.7020507812500001" tail="T14">
|
|
<point x="26.0" y="13.0"/>
|
|
</arc>
|
|
<arc head="T14" kind="INPUT" mult-k="0.20888671875000003" tail="wantQ_true"/>
|
|
<arc head="wantQ_false" kind="OUTPUT" mult-k="0.0" mult-x="-0.4818115234375" mult-y="-2.5509033203125" tail="T15">
|
|
<point x="35.5" y="16.5"/>
|
|
</arc>
|
|
<arc head="T15" kind="INPUT" mult-k="0.7124023437500001" tail="wantQ_false">
|
|
<point x="34.5" y="20.0"/>
|
|
</arc>
|
|
<arc head="T0" kind="INPUT" tail="P1">
|
|
<point x="9.0" y="5.5"/>
|
|
</arc>
|
|
<arc head="P1" kind="OUTPUT" tail="T0">
|
|
<point x="10.5" y="7.5"/>
|
|
</arc>
|
|
</edges>
|
|
</gspn>
|
|
<gspn name="3.8" show-color-cmd="false" show-fluid-cmd="false" show-timed-cmd="false" view-rates="false">
|
|
<nodes>
|
|
<place label-x="-1.5" label-y="-1.5" marking="1" name="P1" x="10.0" y="7.0"/>
|
|
<place label-x="-2.0" label-y="0.0" name="P2" x="10.0" y="15.0"/>
|
|
<place label-x="-2.0" label-y="0.0" name="P3" x="10.0" y="25.0"/>
|
|
<place label-x="-2.0" label-y="0.0" name="P4" x="10.0" y="35.0"/>
|
|
<place name="P5" x="10.0" y="43.0"/>
|
|
<transition label-x="-2.0" label-y="0.0" name="T0" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="10.55" y="11.0"/>
|
|
<transition label-x="1.0" label-y="-1.0" name="T1" nservers-x="0.5" rotation="2.356194490192345" type="EXP" x="14.55" y="4.0"/>
|
|
<place label-x="0.5" label-y="2.0" name="wantP_true" x="36.0" y="34.0"/>
|
|
<place label-y="-2.0" name="wantQ_true" x="36.0" y="8.0"/>
|
|
<place marking="1" name="wantQ_false" x="36.0" y="21.0"/>
|
|
<place label-y="2.0" marking="1" name="wantP_false" x="36.0" y="46.0"/>
|
|
<transition label-x="-1.5" label-y="0.0" name="T2" nservers-x="0.5" type="EXP" x="25.55" y="40.0"/>
|
|
<transition label-y="2.0" name="T3" nservers-x="0.5" type="EXP" x="25.55" y="34.0"/>
|
|
<transition label-y="-2.0" name="T4" nservers-x="0.5" rotation="3.141592653589793" type="EXP" x="25.55" y="21.0"/>
|
|
<transition label-x="-2.0" label-y="0.0" name="T5" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="10.55" y="39.0"/>
|
|
<transition label-y="-2.0" name="T6" nservers-x="0.5" rotation="3.141592653589793" type="EXP" x="46.55" y="40.0"/>
|
|
<transition name="T7" nservers-x="0.5" rotation="3.141592653589793" type="EXP" x="25.55" y="46.0"/>
|
|
<place label-x="2.0" label-y="0.0" marking="1" name="Q1" x="60.0" y="7.0"/>
|
|
<place label-x="2.0" label-y="0.0" name="Q2" x="60.0" y="15.0"/>
|
|
<place label-x="2.0" label-y="0.0" name="Q3" x="60.0" y="25.0"/>
|
|
<place label-x="2.0" label-y="0.0" name="Q4" x="60.0" y="35.0"/>
|
|
<place label-x="2.0" label-y="0.0" name="Q5" x="60.0" y="43.0"/>
|
|
<transition label-x="-1.0" label-y="-1.0" name="T8" nservers-x="0.5" rotation="0.7853981633974483" type="EXP" x="56.55" y="5.0"/>
|
|
<transition label-x="2.0" label-y="0.0" name="T9" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="60.55" y="11.0"/>
|
|
<transition name="T10" nservers-x="0.5" type="EXP" x="46.55" y="8.0"/>
|
|
<transition name="T11" nservers-x="0.5" type="EXP" x="46.55" y="14.0"/>
|
|
<transition label-x="2.0" label-y="0.0" name="T12" nservers-x="0.5" rotation="-0.0" type="EXP" x="46.55" y="46.0"/>
|
|
<transition label-x="2.0" label-y="0.0" name="T13" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="60.55" y="39.0"/>
|
|
<transition name="T14" nservers-x="0.5" rotation="-0.0" type="EXP" x="46.55" y="21.0"/>
|
|
<transition label-x="-1.5" label-y="0.0" name="T15" nservers-x="0.5" rotation="-0.0" type="EXP" x="25.55" y="13.0"/>
|
|
</nodes>
|
|
<edges>
|
|
<arc head="T0" kind="INPUT" tail="P1"/>
|
|
<arc head="T1" kind="INPUT" tail="P1">
|
|
<point x="11.5" y="6.0"/>
|
|
</arc>
|
|
<arc head="P1" kind="OUTPUT" tail="T1">
|
|
<point x="15.0" y="7.5"/>
|
|
</arc>
|
|
<arc head="P2" kind="OUTPUT" tail="T0"/>
|
|
<arc head="T2" kind="INPUT" mult-k="0.6434570312500002" tail="P2">
|
|
<point x="25.0" y="38.0"/>
|
|
</arc>
|
|
<arc head="T2" kind="INPUT" mult-k="1.17880859375" mult-x="-0.43353661526519005" mult-y="0.9956554616429543" tail="wantP_false">
|
|
<point x="32.5" y="44.0"/>
|
|
</arc>
|
|
<arc head="wantP_true" kind="OUTPUT" mult-k="0.69052734375" tail="T2">
|
|
<point x="33.0" y="38.0"/>
|
|
</arc>
|
|
<arc head="P3" kind="OUTPUT" tail="T2"/>
|
|
<arc head="T3" kind="INPUT" mult-k="1.39599609375" tail="P2">
|
|
<point x="12.644272766277304" y="16.600181863911317"/>
|
|
<point x="24.5" y="30.5"/>
|
|
</arc>
|
|
<arc head="wantP_true" kind="OUTPUT" tail="T3">
|
|
<point x="32.5" y="33.0"/>
|
|
</arc>
|
|
<arc head="T3" kind="INPUT" tail="wantP_true">
|
|
<point x="32.0" y="36.0"/>
|
|
</arc>
|
|
<arc head="P3" kind="OUTPUT" mult-k="0.5909179687500001" tail="T3">
|
|
<point x="13.83056640625" y="26.398339843749994"/>
|
|
</arc>
|
|
<arc head="wantQ_false" kind="OUTPUT" tail="T4">
|
|
<point x="31.0" y="20.0"/>
|
|
</arc>
|
|
<arc head="T4" kind="INPUT" tail="wantQ_false">
|
|
<point x="31.0" y="24.0"/>
|
|
</arc>
|
|
<arc head="T4" kind="INPUT" tail="P3"/>
|
|
<arc head="P4" kind="OUTPUT" mult-k="1.44677734375" tail="T4">
|
|
<point x="25.52783203125" y="23.8740234375"/>
|
|
</arc>
|
|
<arc head="T5" kind="INPUT" tail="P4"/>
|
|
<arc head="P5" kind="OUTPUT" tail="T5"/>
|
|
<arc head="T6" kind="INPUT" mult-k="0.6682617187500001" tail="P5">
|
|
<point x="16.5" y="43.5"/>
|
|
</arc>
|
|
<arc head="T7" kind="INPUT" tail="P5"/>
|
|
<arc head="P1" kind="OUTPUT" mult-k="1.4459960937499998" tail="T7">
|
|
<point x="24.5" y="48.0"/>
|
|
<point x="6.0" y="48.0"/>
|
|
<point x="6.0" y="8.0"/>
|
|
</arc>
|
|
<arc head="P1" kind="OUTPUT" mult-k="1.40732421875" tail="T6">
|
|
<point x="43.5" y="50.0"/>
|
|
<point x="14.0" y="50.0"/>
|
|
<point x="5.5" y="50.0"/>
|
|
<point x="5.5" y="38.0"/>
|
|
<point x="5.5" y="5.5"/>
|
|
<point x="10.5" y="5.5"/>
|
|
</arc>
|
|
<arc head="wantP_false" kind="OUTPUT" tail="T7">
|
|
<point x="31.0" y="45.5"/>
|
|
</arc>
|
|
<arc head="T7" kind="INPUT" mult-k="0.48896484374999993" tail="wantP_false">
|
|
<point x="31.0" y="48.5"/>
|
|
</arc>
|
|
<arc head="wantP_false" kind="OUTPUT" mult-k="0.50009765625" mult-x="-0.44268057619486" mult-y="1.2022338134957167" tail="T6">
|
|
<point x="38.0" y="46.0"/>
|
|
</arc>
|
|
<arc head="T6" kind="INPUT" mult-k="0.0" tail="wantP_true">
|
|
<point x="45.0" y="37.5"/>
|
|
</arc>
|
|
<arc head="T8" kind="INPUT" tail="Q1">
|
|
<point x="60.0" y="5.5"/>
|
|
</arc>
|
|
<arc head="Q1" kind="OUTPUT" tail="T8">
|
|
<point x="58.0" y="8.5"/>
|
|
</arc>
|
|
<arc head="T9" kind="INPUT" tail="Q1"/>
|
|
<arc head="Q2" kind="OUTPUT" tail="T9"/>
|
|
<arc head="T10" kind="INPUT" mult-k="1.1916992187500002" tail="Q2">
|
|
<point x="52.5" y="9.5"/>
|
|
</arc>
|
|
<arc head="Q3" kind="OUTPUT" mult-k="0.7325195312500001" tail="T10">
|
|
<point x="59.5" y="20.0"/>
|
|
</arc>
|
|
<arc head="T11" kind="INPUT" tail="Q2"/>
|
|
<arc head="Q3" kind="OUTPUT" tail="T11">
|
|
<point x="58.5" y="24.5"/>
|
|
</arc>
|
|
<arc head="wantQ_true" kind="OUTPUT" mult-k="0.49990234375" tail="T10">
|
|
<point x="42.5" y="7.0"/>
|
|
</arc>
|
|
<arc head="T10" kind="INPUT" tail="wantQ_true">
|
|
<point x="42.5" y="10.0"/>
|
|
</arc>
|
|
<arc head="wantQ_true" kind="OUTPUT" tail="T11">
|
|
<point x="44.0" y="13.0"/>
|
|
</arc>
|
|
<arc head="T11" kind="INPUT" tail="wantQ_false">
|
|
<point x="40.5" y="20.0"/>
|
|
</arc>
|
|
<arc head="T12" kind="INPUT" tail="Q3"/>
|
|
<arc head="Q4" kind="OUTPUT" tail="T12"/>
|
|
<arc head="T12" kind="INPUT" mult-k="1.2155273437499998" tail="wantP_false">
|
|
<point x="42.0" y="48.5"/>
|
|
</arc>
|
|
<arc head="wantP_false" kind="OUTPUT" tail="T12">
|
|
<point x="42.0" y="45.5"/>
|
|
</arc>
|
|
<arc head="T13" kind="INPUT" tail="Q4"/>
|
|
<arc head="Q5" kind="OUTPUT" tail="T13"/>
|
|
<arc head="T14" kind="INPUT" tail="Q5"/>
|
|
<arc head="T15" kind="INPUT" mult-k="0.9198242187500001" tail="Q5">
|
|
<point x="31.0" y="26.5"/>
|
|
</arc>
|
|
<arc head="Q1" kind="OUTPUT" mult-k="1.46396484375" tail="T15">
|
|
<point x="26.0" y="3.5"/>
|
|
<point x="61.0" y="3.5"/>
|
|
</arc>
|
|
<arc head="Q1" kind="OUTPUT" mult-k="0.0" tail="T14"/>
|
|
<arc head="wantQ_false" kind="OUTPUT" mult-k="0.6266601562500002" tail="T14">
|
|
<point x="42.5" y="24.0"/>
|
|
</arc>
|
|
<arc head="T14" kind="INPUT" mult-k="1.74423828125" tail="wantQ_false">
|
|
<point x="42.5" y="20.5"/>
|
|
</arc>
|
|
<arc head="wantQ_false" kind="OUTPUT" mult-k="0.0" tail="T15">
|
|
<point x="35.0" y="19.0"/>
|
|
</arc>
|
|
<arc head="T15" kind="INPUT" mult-k="1.1077148437500002" tail="wantQ_true">
|
|
<point x="30.0" y="10.0"/>
|
|
</arc>
|
|
</edges>
|
|
</gspn>
|
|
<gspn name="3.9" show-color-cmd="false" show-fluid-cmd="false" show-timed-cmd="false" view-rates="false" zoom="50">
|
|
<nodes>
|
|
<place label-y="-2.0" name="wantP_true" x="46.0" y="44.0"/>
|
|
<place label-y="-2.0" name="wantQ_true" x="46.0" y="8.0"/>
|
|
<place label-y="-2.0" marking="1" name="wantP_false" x="46.0" y="60.0"/>
|
|
<place label-y="-2.0" marking="1" name="wantQ_false" x="46.0" y="26.0"/>
|
|
<place label-x="-2.0" label-y="0.0" marking="1" name="P1" x="11.0" y="3.0"/>
|
|
<transition label-x="-2.0" label-y="0.0" name="T1" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="11.55" y="7.0"/>
|
|
<place label-x="-2.0" label-y="0.0" name="P2" x="11.0" y="11.0"/>
|
|
<transition name="T2" nservers-x="0.5" type="EXP" x="39.55" y="44.0"/>
|
|
<place label-x="-2.5" label-y="-0.5" name="P3" x="11.0" y="21.0"/>
|
|
<transition name="T3" nservers-x="0.5" type="EXP" x="14.55" y="18.0"/>
|
|
<transition label-x="2.0" label-y="0.0" name="T4" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="11.55" y="25.0"/>
|
|
<transition label-x="-2.0" label-y="0.0" name="T5" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="19.55" y="25.0"/>
|
|
<place name="P4" x="15.0" y="28.0"/>
|
|
<transition name="T6" nservers-x="0.5" type="EXP" x="20.55" y="31.0"/>
|
|
<transition name="T7" nservers-x="0.5" type="EXP" x="20.55" y="35.0"/>
|
|
<place name="P5" x="15.0" y="38.0"/>
|
|
<transition name="T8" nservers-x="0.5" type="EXP" x="20.55" y="42.0"/>
|
|
<transition name="T9" nservers-x="0.5" type="EXP" x="20.55" y="46.0"/>
|
|
<place label-x="-2.0" label-y="0.0" name="P6" x="11.0" y="52.0"/>
|
|
<transition label-x="-2.0" label-y="0.0" name="T10" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="11.55" y="58.0"/>
|
|
<place label-x="-2.0" label-y="0.0" name="P7" x="11.0" y="63.0"/>
|
|
<transition name="T11" nservers-x="0.5" type="EXP" x="15.55" y="66.0"/>
|
|
<transition name="T12" nservers-x="0.5" type="EXP" x="15.55" y="70.0"/>
|
|
<place label-x="2.0" label-y="0.0" marking="1" name="Q1" x="86.0" y="3.0"/>
|
|
<transition name="T13" nservers-x="0.5" rotation="0.7853981633974483" type="EXP" x="82.55" y="1.0"/>
|
|
<transition label-x="2.0" label-y="0.0" name="T14" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="86.55" y="7.0"/>
|
|
<place label-x="2.0" label-y="0.0" name="Q2" x="86.0" y="11.0"/>
|
|
<transition name="T15" nservers-x="0.5" type="EXP" x="82.55" y="14.0"/>
|
|
<transition name="T16" nservers-x="0.5" type="EXP" x="82.55" y="18.0"/>
|
|
<place label-x="2.0" label-y="0.0" name="Q3" x="86.0" y="21.0"/>
|
|
<transition label-x="2.0" label-y="0.0" name="T17" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="86.55" y="25.0"/>
|
|
<place label-x="-2.0" label-y="0.0" name="Q4" x="75.0" y="28.0"/>
|
|
<transition label-x="2.0" label-y="0.0" name="T18" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="79.55" y="25.0"/>
|
|
<transition label-x="1.0" label-y="0.5" name="T19" nservers-x="0.5" type="EXP" x="71.55" y="31.0"/>
|
|
<transition name="T20" nservers-x="0.5" type="EXP" x="71.55" y="35.0"/>
|
|
<place name="P0" x="75.0" y="38.0"/>
|
|
<transition label-x="1.0" label-y="0.0" name="T21" nservers-x="0.5" type="EXP" x="71.55" y="42.0"/>
|
|
<transition name="T22" nservers-x="0.5" type="EXP" x="71.55" y="46.0"/>
|
|
<place label-x="2.0" label-y="0.0" name="Q6" x="86.0" y="52.0"/>
|
|
<transition label-x="2.0" label-y="0.0" name="T23" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="86.55" y="58.0"/>
|
|
<place label-x="2.0" label-y="0.0" name="Q7" x="86.0" y="63.0"/>
|
|
<transition name="T24" nservers-x="0.5" type="EXP" x="82.55" y="66.0"/>
|
|
<transition name="T25" nservers-x="0.5" type="EXP" x="82.55" y="71.0"/>
|
|
<transition name="T0" nservers-x="0.5" rotation="2.356194490192345" type="EXP" x="15.55" y="1.0"/>
|
|
</nodes>
|
|
<edges>
|
|
<arc head="T1" kind="INPUT" tail="P1"/>
|
|
<arc head="P2" kind="OUTPUT" tail="T1"/>
|
|
<arc head="T2" kind="INPUT" tail="P2"/>
|
|
<arc head="wantP_true" kind="OUTPUT" tail="T2">
|
|
<point x="38.0" y="17.0"/>
|
|
</arc>
|
|
<arc head="T2" kind="INPUT" tail="wantP_true">
|
|
<point x="38.5" y="20.0"/>
|
|
<point x="38.0" y="20.0"/>
|
|
</arc>
|
|
<arc head="T3" kind="INPUT" tail="P2"/>
|
|
<arc head="T3" kind="INPUT" tail="wantP_false"/>
|
|
<arc head="wantP_true" kind="OUTPUT" tail="T3"/>
|
|
<arc head="P3" kind="OUTPUT" tail="T3"/>
|
|
<arc head="T4" kind="INPUT" tail="P3"/>
|
|
<arc head="T5" kind="INPUT" tail="P3"/>
|
|
<arc head="T5" kind="INPUT" mult-k="0.6760742187500001" tail="wantQ_true">
|
|
<point x="42.0" y="11.0"/>
|
|
</arc>
|
|
<arc head="wantQ_true" kind="OUTPUT" tail="T5">
|
|
<point x="46.0" y="26.5"/>
|
|
<point x="47.0" y="12.0"/>
|
|
</arc>
|
|
<arc head="P4" kind="OUTPUT" tail="T5"/>
|
|
<arc head="T6" kind="INPUT" tail="P4"/>
|
|
<arc head="T7" kind="INPUT" tail="P4"/>
|
|
<arc head="wantP_false" kind="OUTPUT" tail="T6">
|
|
<point x="44.0" y="29.0"/>
|
|
</arc>
|
|
<arc head="T6" kind="INPUT" tail="wantP_false">
|
|
<point x="47.5" y="32.5"/>
|
|
</arc>
|
|
<arc head="P5" kind="OUTPUT" tail="T6"/>
|
|
<arc head="wantP_false" kind="OUTPUT" tail="T7">
|
|
<point x="51.5" y="31.0"/>
|
|
</arc>
|
|
<arc head="T7" kind="INPUT" tail="wantP_true"/>
|
|
<arc head="P5" kind="OUTPUT" tail="T7"/>
|
|
<arc head="T8" kind="INPUT" tail="P5"/>
|
|
<arc head="T9" kind="INPUT" tail="P5"/>
|
|
<arc head="P3" kind="OUTPUT" tail="T9">
|
|
<point x="2.5" y="47.0"/>
|
|
<point x="2.5" y="18.0"/>
|
|
<point x="9.5" y="20.0"/>
|
|
</arc>
|
|
<arc head="P3" kind="OUTPUT" tail="T8">
|
|
<point x="9.0" y="43.0"/>
|
|
<point x="9.0" y="22.5"/>
|
|
</arc>
|
|
<arc head="wantP_true" kind="OUTPUT" tail="T8">
|
|
<point x="48.0" y="20.5"/>
|
|
<point x="51.5" y="21.0"/>
|
|
</arc>
|
|
<arc head="T8" kind="INPUT" tail="wantP_false">
|
|
<point x="43.5" y="47.0"/>
|
|
</arc>
|
|
<arc head="wantP_true" kind="OUTPUT" tail="T9">
|
|
<point x="47.5" y="28.0"/>
|
|
<point x="48.5" y="20.0"/>
|
|
</arc>
|
|
<arc head="T9" kind="INPUT" tail="wantP_false">
|
|
<point x="43.0" y="50.0"/>
|
|
</arc>
|
|
<arc head="P6" kind="OUTPUT" tail="T4">
|
|
<point x="12.0" y="53.0"/>
|
|
</arc>
|
|
<arc head="T10" kind="INPUT" tail="P6"/>
|
|
<arc head="P7" kind="OUTPUT" tail="T10"/>
|
|
<arc head="T11" kind="INPUT" tail="P7"/>
|
|
<arc head="T12" kind="INPUT" tail="P7"/>
|
|
<arc head="wantP_false" kind="OUTPUT" tail="T11">
|
|
<point x="52.0" y="25.5"/>
|
|
</arc>
|
|
<arc head="T11" kind="INPUT" tail="wantP_false">
|
|
<point x="43.5" y="70.5"/>
|
|
</arc>
|
|
<arc head="P1" kind="OUTPUT" tail="T11">
|
|
<point x="0.5" y="67.0"/>
|
|
<point x="0.5" y="4.0"/>
|
|
<point x="8.5" y="2.5"/>
|
|
</arc>
|
|
<arc head="P1" kind="OUTPUT" tail="T12">
|
|
<point x="1.0" y="71.0"/>
|
|
<point x="1.0" y="4.5"/>
|
|
<point x="9.0" y="6.0"/>
|
|
</arc>
|
|
<arc head="wantP_false" kind="OUTPUT" tail="T12">
|
|
<point x="53.5" y="27.0"/>
|
|
</arc>
|
|
<arc head="T12" kind="INPUT" mult-k="0.49990234375" tail="wantP_true">
|
|
<point x="88.5" y="25.5"/>
|
|
<point x="74.5" y="75.0"/>
|
|
</arc>
|
|
<arc head="T13" kind="INPUT" tail="Q1">
|
|
<point x="86.0" y="1.5"/>
|
|
</arc>
|
|
<arc head="Q1" kind="OUTPUT" tail="T13">
|
|
<point x="84.5" y="4.5"/>
|
|
</arc>
|
|
<arc head="T14" kind="INPUT" tail="Q1"/>
|
|
<arc head="Q2" kind="OUTPUT" tail="T14"/>
|
|
<arc head="T15" kind="INPUT" tail="Q2"/>
|
|
<arc head="T16" kind="INPUT" tail="Q2"/>
|
|
<arc head="Q3" kind="OUTPUT" tail="T16"/>
|
|
<arc head="Q3" kind="OUTPUT" tail="T15"/>
|
|
<arc head="T17" kind="INPUT" tail="Q3"/>
|
|
<arc head="wantQ_true" kind="OUTPUT" tail="T15">
|
|
<point x="89.0" y="8.0"/>
|
|
</arc>
|
|
<arc head="T15" kind="INPUT" tail="wantQ_true">
|
|
<point x="84.5" y="13.5"/>
|
|
</arc>
|
|
<arc head="wantQ_true" kind="OUTPUT" mult-k="1.1965820312499997" tail="T16">
|
|
<point x="95.400390625" y="16.180273437500002"/>
|
|
</arc>
|
|
<arc head="T16" kind="INPUT" mult-k="0.7565429687499999" tail="wantQ_false">
|
|
<point x="93.666015625" y="22.92470703125"/>
|
|
</arc>
|
|
<arc head="T17" kind="INPUT" tail="wantP_false"/>
|
|
<arc head="T4" kind="INPUT" tail="wantQ_false"/>
|
|
<arc head="T18" kind="INPUT" tail="Q3"/>
|
|
<arc head="Q4" kind="OUTPUT" tail="T18"/>
|
|
<arc head="T19" kind="INPUT" tail="Q4"/>
|
|
<arc head="T20" kind="INPUT" tail="Q4"/>
|
|
<arc head="P0" kind="OUTPUT" tail="T20"/>
|
|
<arc head="P0" kind="OUTPUT" tail="T19"/>
|
|
<arc head="wantQ_false" kind="OUTPUT" tail="T19"/>
|
|
<arc head="T19" kind="INPUT" tail="wantQ_false">
|
|
<point x="90.0" y="29.0"/>
|
|
</arc>
|
|
<arc head="wantQ_false" kind="OUTPUT" tail="T20"/>
|
|
<arc head="T20" kind="INPUT" tail="wantQ_true">
|
|
<point x="87.5" y="40.0"/>
|
|
</arc>
|
|
<arc head="T21" kind="INPUT" tail="P0"/>
|
|
<arc head="T22" kind="INPUT" tail="P0"/>
|
|
<arc head="Q3" kind="OUTPUT" tail="T21">
|
|
<point x="92.0" y="43.0"/>
|
|
<point x="92.0" y="21.0"/>
|
|
<point x="88.5" y="20.5"/>
|
|
</arc>
|
|
<arc head="Q3" kind="OUTPUT" tail="T22">
|
|
<point x="95.5" y="47.0"/>
|
|
<point x="95.5" y="22.5"/>
|
|
<point x="90.0" y="23.5"/>
|
|
</arc>
|
|
<arc head="wantQ_true" kind="OUTPUT" tail="T21"/>
|
|
<arc head="T21" kind="INPUT" tail="wantQ_true">
|
|
<point x="87.5" y="47.0"/>
|
|
</arc>
|
|
<arc head="wantQ_true" kind="OUTPUT" tail="T22">
|
|
<point x="84.0" y="10.5"/>
|
|
</arc>
|
|
<arc head="T22" kind="INPUT" tail="wantQ_false">
|
|
<point x="87.0" y="51.0"/>
|
|
</arc>
|
|
<arc head="Q6" kind="OUTPUT" tail="T17"/>
|
|
<arc head="T23" kind="INPUT" tail="Q6"/>
|
|
<arc head="Q7" kind="OUTPUT" tail="T23"/>
|
|
<arc head="T24" kind="INPUT" tail="Q7"/>
|
|
<arc head="T25" kind="INPUT" tail="Q7"/>
|
|
<arc head="Q1" kind="OUTPUT" tail="T25">
|
|
<point x="98.0" y="72.0"/>
|
|
<point x="97.5" y="2.5"/>
|
|
<point x="90.5" y="2.5"/>
|
|
</arc>
|
|
<arc head="Q2" kind="OUTPUT" tail="T24">
|
|
<point x="101.5" y="67.0"/>
|
|
<point x="101.0" y="12.0"/>
|
|
<point x="90.0" y="14.0"/>
|
|
</arc>
|
|
<arc head="wantQ_false" kind="OUTPUT" tail="T24"/>
|
|
<arc head="T24" kind="INPUT" tail="wantQ_false">
|
|
<point x="96.0" y="69.5"/>
|
|
</arc>
|
|
<arc head="wantQ_false" kind="OUTPUT" tail="T25"/>
|
|
<arc head="T25" kind="INPUT" tail="wantQ_true">
|
|
<point x="96.5" y="75.5"/>
|
|
</arc>
|
|
<arc head="T0" kind="INPUT" tail="P1">
|
|
<point x="12.5" y="1.5"/>
|
|
</arc>
|
|
<arc head="P1" kind="OUTPUT" tail="T0">
|
|
<point x="15.5" y="4.5"/>
|
|
</arc>
|
|
</edges>
|
|
</gspn>
|
|
<gspn name="3.9 P+Q" show-color-cmd="false" show-fluid-cmd="false" show-timed-cmd="false" view-rates="false">
|
|
<nodes>
|
|
<place label-x="-0.5000020000000021" label-y="-1.5" marking="1" name="P1" x="12.999998000000001" y="5.0"/>
|
|
<place label-x="-1.9999960000000012" label-y="-1.7763568394002505E-15" name="P2" x="12.999998000000001" y="12.999998000000001"/>
|
|
<place label-x="-1.4999979999999997" label-y="-1.0000020000000003" name="P3" x="12.999998000000001" y="23.0"/>
|
|
<place label-x="2.0000000000000018" label-y="-1.7763568394002505E-15" name="P4" x="17.0" y="30.000002000000002"/>
|
|
<place label-x="2.0000000000000018" label-y="5.329070518200751E-15" name="P5" x="17.0" y="39.999998"/>
|
|
<place label-x="-1.9999960000000012" label-y="-5.9999999937332404E-6" name="P6" x="12.999998000000001" y="54.000002"/>
|
|
<place label-x="-1.9999960000000012" label-y="5.999999997285954E-6" name="P7" x="12.999998000000001" y="65.0"/>
|
|
<place label-x="1.5000000000000053" label-y="-1.5" marking="1" name="Q1" x="42.999998" y="5.0"/>
|
|
<place label-x="2.0000040000000023" label-y="-1.7763568394002505E-15" name="Q2" x="42.999998" y="12.999998000000001"/>
|
|
<place label-x="-1.4999999999999947" label-y="-1.4999999999999982" name="Q3" x="42.999998" y="23.0"/>
|
|
<place label-x="-1.9999979999999997" label-y="-1.7763568394002505E-15" name="Q4" x="36.999998" y="33.000002"/>
|
|
<place label-x="-2.0000019999999967" label-y="-1.7763568394002505E-15" name="P0" x="36.999998" y="41.0"/>
|
|
<place label-x="2.0000040000000023" label-y="-5.9999999937332404E-6" name="Q6" x="42.999998" y="54.000002"/>
|
|
<place label-x="2.0000040000000023" label-y="5.999999997285954E-6" name="Q7" x="42.999998" y="65.0"/>
|
|
<transition delay="1.000000" delay-x="0.500003999999997" delay-y="0.9999980000000015" label-x="-1.999996000000003" label-y="-3.999999997006398E-6" name="T1" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="13.549998000000002" y="9.000001999999999"/>
|
|
<transition delay="1.000000" delay-x="0.500003999999997" delay-y="1.000003999999997" label-x="-1.999996000000003" label-y="1.999999998503199E-6" name="T3" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="-4.4999980000000015" superpos-y="1.999999998503199E-6" superposition-tags="setPtrue" type="EXP" x="13.549998000000002" y="18.999998"/>
|
|
<transition delay="1.000000" delay-x="0.500003999999997" delay-y="0.9999979999999979" label-x="-1.999996000000003" label-y="-4.0000000041118255E-6" name="T4" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="-4.4999980000000015" superpos-y="-2.0000000020559128E-6" superposition-tags="isQfalse" type="EXP" x="13.549998000000002" y="36.000002"/>
|
|
<transition delay="1.000000" delay-x="0.4999980000000015" delay-y="0.9999979999999979" label-x="2.0" label-y="2.0000000020559128E-6" name="T5" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="4.5" superpos-y="0.0" superposition-tags="isQtrue" type="EXP" x="17.55" y="26.0"/>
|
|
<transition delay="1.000000" delay-x="0.4999980000000015" delay-y="0.9999979999999979" label-x="2.0" label-y="-4.0000000041118255E-6" name="T7" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="5.0" superpos-y="-2.0000000020559128E-6" superposition-tags="setPfalse" type="EXP" x="17.55" y="36.000002"/>
|
|
<transition delay="1.000000" delay-x="0.4999980000000015" delay-y="0.9999979999999979" label-x="2.0" label-y="-4.0000000041118255E-6" name="T9" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="4.5" superpos-y="-2.0000000020559128E-6" superposition-tags="setPtrue" type="EXP" x="17.55" y="45.000002"/>
|
|
<transition delay="1.000000" delay-x="0.500003999999997" delay-y="0.9999979999999979" label-x="-1.9999980000000015" label-y="-4.0000000041118255E-6" name="T10" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="13.549998000000002" y="60.000002"/>
|
|
<transition delay="1.000000" delay-x="0.500003999999997" delay-y="0.999998000000005" label-x="-1.9999980000000015" label-y="-3.999999989900971E-6" name="T12" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="-4.9999980000000015" superpos-y="-1.9999999949504854E-6" superposition-tags="setPfalse" type="EXP" x="13.549998000000002" y="69.000002"/>
|
|
<transition delay="1.000000" delay-x="0.4999980000000015" delay-y="0.9999979999999997" label-x="1.999999998503199E-6" label-y="-1.5000040000000006" name="T0" nservers-x="0.5" rotation="2.356194490192345" type="EXP" x="17.55" y="3.0000020000000003"/>
|
|
<transition delay="1.000000" delay-x="0.49999799999999794" delay-y="0.9999979999999997" label-y="-1.5000040000000006" name="T13" nservers-x="0.5" rotation="0.7853981633974483" type="EXP" x="39.550002" y="3.0000020000000003"/>
|
|
<transition delay="1.000000" delay-x="0.5000040000000041" delay-y="0.9999980000000015" label-x="2.000004000000004" label-y="-3.999999997006398E-6" name="T14" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="43.549997999999995" y="9.000001999999999"/>
|
|
<transition delay="1.000000" delay-x="0.5000040000000041" delay-y="1.000003999999997" label-x="-1.999997999999998" label-y="1.999999998503199E-6" name="T16" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setQtrue" type="EXP" x="43.549997999999995" y="18.999998"/>
|
|
<transition delay="1.000000" delay-x="0.5000040000000041" delay-y="1.0000040000000041" label-x="2.000004000000004" label-y="2.0000000020559128E-6" name="T17" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="-2.999997999999998" superpos-y="2.0000000020559128E-6" superposition-tags="isPfalse" type="EXP" x="43.549997999999995" y="33.999998"/>
|
|
<transition delay="1.000000" delay-x="0.5000040000000041" delay-y="0.9999979999999979" label-x="2.000004000000004" label-y="-4.0000000041118255E-6" name="T18" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="-2.999997999999998" superpos-y="-2.0000000020559128E-6" superposition-tags="isPtrue" type="EXP" x="37.549997999999995" y="27.000002000000002"/>
|
|
<transition delay="1.000000" delay-x="0.5000040000000041" delay-y="1.0000040000000041" label-x="-1.999997999999998" label-y="2.0000000020559128E-6" name="T20" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="-4.999997999999998" superpos-y="2.0000000020559128E-6" superposition-tags="setQfalse" type="EXP" x="37.549997999999995" y="36.999998"/>
|
|
<transition delay="1.000000" delay-x="0.5000040000000041" delay-y="1.0000040000000041" label-x="-1.999997999999998" label-y="2.0000000020559128E-6" name="T22" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="-4.999997999999998" superpos-y="2.0000000020559128E-6" superposition-tags="setQtrue" type="EXP" x="37.549997999999995" y="45.999998"/>
|
|
<transition delay="1.000000" delay-x="0.5000040000000041" delay-y="0.9999979999999979" label-x="2.000004000000004" label-y="-4.0000000041118255E-6" name="T23" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="43.549997999999995" y="60.000002"/>
|
|
<transition delay="1.000000" delay-x="0.5000040000000041" delay-y="1.00000399999999" label-x="2.000004000000004" label-y="1.9999999949504854E-6" name="T25" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="5.000002000000002" superpos-y="1.9999999949504854E-6" superposition-tags="setQfalse" type="EXP" x="43.549997999999995" y="69.999998"/>
|
|
</nodes>
|
|
<edges>
|
|
<arc head="T1" head-magnet="0" kind="INPUT" tail="P1" tail-magnet="0"/>
|
|
<arc head="P2" head-magnet="0" kind="OUTPUT" tail="T1" tail-magnet="0"/>
|
|
<arc head="T3" head-magnet="0" kind="INPUT" tail="P2" tail-magnet="0"/>
|
|
<arc head="P3" head-magnet="0" kind="OUTPUT" tail="T3" tail-magnet="0"/>
|
|
<arc head="T4" head-magnet="0" kind="INPUT" tail="P3" tail-magnet="0"/>
|
|
<arc head="P6" head-magnet="0" kind="OUTPUT" tail="T4" tail-magnet="0">
|
|
<point x="13.999998000000001" y="55.000002"/>
|
|
</arc>
|
|
<arc head="T5" head-magnet="0" kind="INPUT" tail="P3" tail-magnet="0">
|
|
<point x="18.0" y="24.0"/>
|
|
</arc>
|
|
<arc head="P4" head-magnet="0" kind="OUTPUT" tail="T5" tail-magnet="0"/>
|
|
<arc head="T7" head-magnet="0" kind="INPUT" tail="P4" tail-magnet="0"/>
|
|
<arc head="P5" head-magnet="0" kind="OUTPUT" tail="T7" tail-magnet="0"/>
|
|
<arc head="T9" head-magnet="0" kind="INPUT" tail="P5" tail-magnet="0"/>
|
|
<arc head="P3" head-magnet="0" kind="OUTPUT" tail="T9" tail-magnet="0">
|
|
<point x="18.0" y="49.999998"/>
|
|
<point x="5.500002" y="49.999998"/>
|
|
<point x="5.500002" y="24.0"/>
|
|
</arc>
|
|
<arc head="T10" head-magnet="0" kind="INPUT" tail="P6" tail-magnet="0"/>
|
|
<arc head="P7" head-magnet="0" kind="OUTPUT" tail="T10" tail-magnet="0"/>
|
|
<arc head="T12" head-magnet="0" kind="INPUT" tail="P7" tail-magnet="0"/>
|
|
<arc head="P1" head-magnet="0" kind="OUTPUT" tail="T12" tail-magnet="0">
|
|
<point x="13.999998000000001" y="73.000002"/>
|
|
<point x="3.0" y="73.000002"/>
|
|
<point x="3.0" y="6.0"/>
|
|
</arc>
|
|
<arc head="T0" head-magnet="0" kind="INPUT" tail="P1" tail-magnet="0">
|
|
<point x="14.500001999999999" y="3.4999979999999997"/>
|
|
</arc>
|
|
<arc head="P1" head-magnet="0" kind="OUTPUT" tail="T0" tail-magnet="0">
|
|
<point x="17.500002" y="6.499998000000001"/>
|
|
</arc>
|
|
<arc head="T13" head-magnet="0" kind="INPUT" tail="Q1" tail-magnet="0">
|
|
<point x="43.000002" y="3.4999979999999997"/>
|
|
</arc>
|
|
<arc head="Q1" head-magnet="0" kind="OUTPUT" tail="T13" tail-magnet="0">
|
|
<point x="41.500002" y="6.499998000000001"/>
|
|
</arc>
|
|
<arc head="T14" head-magnet="0" kind="INPUT" tail="Q1" tail-magnet="0"/>
|
|
<arc head="Q2" head-magnet="0" kind="OUTPUT" tail="T14" tail-magnet="0"/>
|
|
<arc head="T16" head-magnet="0" kind="INPUT" tail="Q2" tail-magnet="0"/>
|
|
<arc head="Q3" head-magnet="0" kind="OUTPUT" tail="T16" tail-magnet="0"/>
|
|
<arc head="T17" head-magnet="0" kind="INPUT" tail="Q3" tail-magnet="0"/>
|
|
<arc head="Q6" head-magnet="0" kind="OUTPUT" tail="T17" tail-magnet="0"/>
|
|
<arc head="T18" head-magnet="0" kind="INPUT" tail="Q3" tail-magnet="0">
|
|
<point x="37.999998" y="24.0"/>
|
|
</arc>
|
|
<arc head="Q4" head-magnet="0" kind="OUTPUT" tail="T18" tail-magnet="0"/>
|
|
<arc head="T20" head-magnet="0" kind="INPUT" tail="Q4" tail-magnet="0"/>
|
|
<arc head="P0" head-magnet="0" kind="OUTPUT" tail="T20" tail-magnet="0"/>
|
|
<arc head="T22" head-magnet="0" kind="INPUT" tail="P0" tail-magnet="0"/>
|
|
<arc head="Q3" head-magnet="0" kind="OUTPUT" tail="T22" tail-magnet="0">
|
|
<point x="37.999998" y="49.999998"/>
|
|
<point x="48.0" y="49.999998"/>
|
|
<point x="48.0" y="24.0"/>
|
|
</arc>
|
|
<arc head="T23" head-magnet="0" kind="INPUT" tail="Q6" tail-magnet="0"/>
|
|
<arc head="Q7" head-magnet="0" kind="OUTPUT" tail="T23" tail-magnet="0"/>
|
|
<arc head="T25" head-magnet="0" kind="INPUT" tail="Q7" tail-magnet="0"/>
|
|
<arc head="Q1" head-magnet="0" kind="OUTPUT" tail="T25" tail-magnet="0">
|
|
<point x="43.999998" y="73.999998"/>
|
|
<point x="55.000002" y="73.999998"/>
|
|
<point x="54.499998" y="6.0"/>
|
|
</arc>
|
|
</edges>
|
|
</gspn>
|
|
<gspn name="3.9 VAR" show-color-cmd="false" show-fluid-cmd="false" show-timed-cmd="false" view-rates="false">
|
|
<nodes>
|
|
<place label-y="-2.0" name="wantP_true" x="48.0" y="32.0"/>
|
|
<place label-y="-2.0" name="wantQ_true" x="48.0" y="10.0"/>
|
|
<place label-y="-2.0" marking="1" name="wantP_false" x="48.0" y="42.0"/>
|
|
<place label-y="-2.0" marking="1" name="wantQ_false" x="48.0" y="22.0"/>
|
|
<transition name="T0" nservers-x="0.5" superposition-tags="setQtrue" type="EXP" x="39.55" y="10.0"/>
|
|
<transition name="T1" nservers-x="0.5" superposition-tags="setQtrue" type="EXP" x="39.55" y="17.0"/>
|
|
<transition name="T2" nservers-x="0.5" superposition-tags="isQtrue" type="EXP" x="56.55" y="10.0"/>
|
|
<transition name="T3" nservers-x="0.5" superposition-tags="setQfalse" type="EXP" x="56.55" y="16.0"/>
|
|
<transition name="T4" nservers-x="0.5" superposition-tags="isQfalse" type="EXP" x="56.55" y="22.0"/>
|
|
<transition name="T5" nservers-x="0.5" superposition-tags="setQfalse" type="EXP" x="39.55" y="22.0"/>
|
|
<transition name="T7" nservers-x="0.5" superposition-tags="setPtrue" type="EXP" x="39.55" y="32.0"/>
|
|
<transition name="T8" nservers-x="0.5" superposition-tags="isPtrue" type="EXP" x="56.55" y="32.0"/>
|
|
<transition name="T9" nservers-x="0.5" superposition-tags="setPfalse" type="EXP" x="56.55" y="37.0"/>
|
|
<transition name="T10" nservers-x="0.5" superposition-tags="setPtrue" type="EXP" x="39.55" y="37.0"/>
|
|
<transition name="T11" nservers-x="0.5" superposition-tags="setPfalse" type="EXP" x="39.55" y="42.0"/>
|
|
<transition name="T12" nservers-x="0.5" superposition-tags="isPfalse" type="EXP" x="56.55" y="42.0"/>
|
|
</nodes>
|
|
<edges>
|
|
<arc head="wantQ_true" kind="OUTPUT" tail="T0">
|
|
<point x="44.0" y="12.5"/>
|
|
</arc>
|
|
<arc head="T0" kind="INPUT" tail="wantQ_true">
|
|
<point x="44.0" y="8.5"/>
|
|
</arc>
|
|
<arc head="wantQ_true" kind="OUTPUT" tail="T2">
|
|
<point x="53.0" y="9.0"/>
|
|
</arc>
|
|
<arc head="T2" kind="INPUT" tail="wantQ_true">
|
|
<point x="53.0" y="13.5"/>
|
|
</arc>
|
|
<arc head="T3" kind="INPUT" tail="wantQ_true"/>
|
|
<arc head="wantQ_false" kind="OUTPUT" mult-k="0.6135742187500001" tail="T3">
|
|
<point x="54.5" y="19.5"/>
|
|
</arc>
|
|
<arc head="T1" kind="INPUT" tail="wantQ_false"/>
|
|
<arc head="wantQ_true" kind="OUTPUT" tail="T1"/>
|
|
<arc head="wantQ_false" kind="OUTPUT" tail="T5">
|
|
<point x="44.0" y="24.5"/>
|
|
</arc>
|
|
<arc head="T5" kind="INPUT" tail="wantQ_false">
|
|
<point x="44.0" y="21.5"/>
|
|
</arc>
|
|
<arc head="T4" kind="INPUT" tail="wantQ_false">
|
|
<point x="53.5" y="24.5"/>
|
|
</arc>
|
|
<arc head="wantQ_false" kind="OUTPUT" tail="T4">
|
|
<point x="53.0" y="22.0"/>
|
|
</arc>
|
|
<arc head="T8" kind="INPUT" tail="wantP_true">
|
|
<point x="53.5" y="31.5"/>
|
|
<point x="56.0" y="32.5"/>
|
|
</arc>
|
|
<arc head="wantP_true" kind="OUTPUT" tail="T8">
|
|
<point x="54.0" y="34.5"/>
|
|
</arc>
|
|
<arc head="T7" kind="INPUT" tail="wantP_true">
|
|
<point x="45.5" y="34.5"/>
|
|
</arc>
|
|
<arc head="wantP_true" kind="OUTPUT" tail="T7">
|
|
<point x="44.5" y="32.0"/>
|
|
</arc>
|
|
<arc head="wantP_false" kind="OUTPUT" tail="T11">
|
|
<point x="44.5" y="45.5"/>
|
|
</arc>
|
|
<arc head="T11" kind="INPUT" tail="wantP_false">
|
|
<point x="43.5" y="41.5"/>
|
|
</arc>
|
|
<arc head="T12" kind="INPUT" tail="wantP_false">
|
|
<point x="53.5" y="45.5"/>
|
|
</arc>
|
|
<arc head="wantP_false" kind="OUTPUT" tail="T12">
|
|
<point x="54.5" y="42.0"/>
|
|
</arc>
|
|
<arc head="T10" kind="INPUT" tail="wantP_false"/>
|
|
<arc head="wantP_true" kind="OUTPUT" tail="T10"/>
|
|
<arc head="T9" kind="INPUT" tail="wantP_true"/>
|
|
<arc head="wantP_false" kind="OUTPUT" tail="T9"/>
|
|
</edges>
|
|
</gspn>
|
|
<gspn name="3.9 FULL" show-color-cmd="false" show-fluid-cmd="false" show-timed-cmd="false" view-rates="false">
|
|
<nodes>
|
|
<place label-x="-0.5000020000000021" label-y="-1.5" marking="1" name="P1" x="12.999998000000001" y="5.0"/>
|
|
<place label-x="-1.9999960000000012" label-y="-1.7763568394002505E-15" name="P2" x="12.999998000000001" y="12.999998000000001"/>
|
|
<place label-x="-1.4999979999999997" label-y="-1.0000020000000003" name="P3" x="12.999998000000001" y="23.0"/>
|
|
<place label-x="2.0000000000000018" label-y="-1.7763568394002505E-15" name="P4" x="17.0" y="30.000002000000002"/>
|
|
<place label-x="2.0000000000000018" label-y="5.329070518200751E-15" name="P5" x="17.0" y="39.999998"/>
|
|
<place label-x="-1.9999960000000012" label-y="-5.9999999937332404E-6" name="P6" x="12.999998000000001" y="54.000002"/>
|
|
<place label-x="-1.9999960000000012" label-y="5.999999997285954E-6" name="P7" x="12.999998000000001" y="65.0"/>
|
|
<place label-x="1.5000000000000053" label-y="-1.5" marking="1" name="Q1" x="42.999998" y="5.0"/>
|
|
<place label-x="2.0000040000000023" label-y="-1.7763568394002505E-15" name="Q2" x="42.999998" y="12.999998000000001"/>
|
|
<place label-x="-1.4999999999999947" label-y="-1.4999999999999982" name="Q3" x="42.999998" y="23.0"/>
|
|
<place label-x="-1.9999979999999997" label-y="-1.7763568394002505E-15" name="Q4" x="36.999998" y="33.000002"/>
|
|
<place label-x="-2.0000019999999967" label-y="-1.7763568394002505E-15" name="P0" x="36.999998" y="41.0"/>
|
|
<place label-x="2.0000040000000023" label-y="-5.9999999937332404E-6" name="Q6" x="42.999998" y="54.000002"/>
|
|
<place label-x="2.0000040000000023" label-y="5.999999997285954E-6" name="Q7" x="42.999998" y="65.0"/>
|
|
<place label-x="-6.0000000150495225E-6" label-y="-1.9999979999999997" name="wantP_true" x="105.999998" y="32.0"/>
|
|
<place label-x="-4.000000005888182E-6" label-y="-1.9999980000000015" name="wantQ_true" x="105.999998" y="9.999998000000001"/>
|
|
<place label-x="-7.999999995789153E-6" label-y="-2.000003999999999" marking="1" name="wantP_false" x="105.999998" y="42.000002"/>
|
|
<place label-x="-6.0000000150495225E-6" label-y="-1.9999979999999997" marking="1" name="wantQ_false" x="105.999998" y="21.999998"/>
|
|
<transition delay="1.000000" delay-x="0.500003999999997" delay-y="0.9999980000000015" label-x="-1.999996000000003" label-y="-3.999999997006398E-6" name="T1" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="13.549998000000002" y="9.000001999999999"/>
|
|
<transition delay="1.000000" delay-x="0.500003999999997" delay-y="1.000003999999997" label-x="-1.843746000000003" label-y="1.999999998503199E-6" name="T31" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setPtrue" type="EXP" x="13.549998000000002" y="18.999998"/>
|
|
<transition delay="1.000000" delay-x="0.500003999999997" delay-y="1.000003999999997" label-x="-1.999996000000003" label-y="1.999999998503199E-6" name="T3" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setPtrue" type="EXP" x="16.549998000000002" y="21.5"/>
|
|
<transition delay="1.000000" delay-x="0.500003999999997" delay-y="0.9999979999999979" label-x="-1.999996000000003" label-y="-4.0000000041118255E-6" name="T4" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="isQfalse" type="EXP" x="13.549998000000002" y="36.000002"/>
|
|
<transition delay="1.000000" delay-x="0.4999980000000015" delay-y="0.9999979999999979" label-x="2.0" label-y="2.0000000020559128E-6" name="T5" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="isQtrue" type="EXP" x="17.55" y="26.0"/>
|
|
<transition delay="1.000000" delay-x="0.4999980000000015" delay-y="0.9999979999999979" label-x="2.15625" label-y="-4.0000000041118255E-6" name="T71" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setPfalse" type="EXP" x="17.55" y="36.000002"/>
|
|
<transition delay="1.000000" delay-x="0.4999980000000015" delay-y="0.999998000000005" label-x="2.0" label-y="-9.999999996068709E-6" name="T7" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setPfalse" type="EXP" x="20.55" y="38.500004"/>
|
|
<transition delay="1.000000" delay-x="0.4999980000000015" delay-y="0.9999979999999979" label-x="2.15625" label-y="-4.0000000041118255E-6" name="T91" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setPtrue" type="EXP" x="17.55" y="45.000002"/>
|
|
<transition delay="1.000000" delay-x="0.4999980000000015" delay-y="0.9999979999999979" label-x="2.0" label-y="-1.0000000003174137E-5" name="T9" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setPtrue" type="EXP" x="20.55" y="47.500004000000004"/>
|
|
<transition delay="1.000000" delay-x="0.500003999999997" delay-y="0.9999979999999979" label-x="-1.9999980000000015" label-y="-4.0000000041118255E-6" name="T10" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="13.549998000000002" y="60.000002"/>
|
|
<transition delay="1.000000" delay-x="0.500003999999997" delay-y="0.999998000000005" label-x="-1.8437480000000015" label-y="-3.999999989900971E-6" name="T121" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setPfalse" type="EXP" x="13.549998000000002" y="69.000002"/>
|
|
<transition delay="1.000000" delay-x="0.500003999999997" delay-y="1.00000399999999" label-x="-1.9999980000000015" label-y="1.9999999949504854E-6" name="T12" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setPfalse" type="EXP" x="16.549998000000002" y="71.499998"/>
|
|
<transition delay="1.000000" delay-x="0.4999980000000015" delay-y="0.9999979999999997" label-x="1.999999998503199E-6" label-y="-1.5000040000000006" name="T0" nservers-x="0.5" rotation="2.356194490192345" type="EXP" x="17.55" y="3.0000020000000003"/>
|
|
<transition delay="1.000000" delay-x="0.49999799999999794" delay-y="0.9999979999999997" label-y="-1.5000040000000006" name="T13" nservers-x="0.5" rotation="0.7853981633974483" type="EXP" x="39.550002" y="3.0000020000000003"/>
|
|
<transition delay="1.000000" delay-x="0.5000040000000041" delay-y="0.9999980000000015" label-x="2.000004000000004" label-y="-3.999999997006398E-6" name="T14" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="43.549997999999995" y="9.000001999999999"/>
|
|
<transition delay="1.000000" delay-x="0.5000040000000041" delay-y="1.000003999999997" label-x="-1.843747999999998" label-y="1.999999998503199E-6" name="T161" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setQtrue" type="EXP" x="43.549997999999995" y="18.999998"/>
|
|
<transition delay="1.000000" delay-x="0.5000040000000041" delay-y="1.000003999999997" label-x="-1.999997999999998" label-y="1.999999998503199E-6" name="T16" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setQtrue" type="EXP" x="46.549997999999995" y="21.5"/>
|
|
<transition delay="1.000000" delay-x="0.5000040000000041" delay-y="1.0000040000000041" label-x="2.000004000000004" label-y="2.0000000020559128E-6" name="T17" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="isPfalse" type="EXP" x="43.549997999999995" y="33.999998"/>
|
|
<transition delay="1.000000" delay-x="0.5000040000000041" delay-y="0.9999979999999979" label-x="2.000004000000004" label-y="-4.0000000041118255E-6" name="T18" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="isPtrue" type="EXP" x="37.549997999999995" y="27.000002000000002"/>
|
|
<transition delay="1.000000" delay-x="0.5000040000000041" delay-y="1.0000040000000041" label-x="-1.843747999999998" label-y="2.0000000020559128E-6" name="T201" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setQfalse" type="EXP" x="37.549997999999995" y="36.999998"/>
|
|
<transition delay="1.000000" delay-x="0.5000040000000041" delay-y="1.000009999999996" label-x="-1.999997999999998" label-y="8.000000001118224E-6" name="T20" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setQfalse" type="EXP" x="40.549997999999995" y="39.499994"/>
|
|
<transition delay="1.000000" delay-x="0.5000040000000041" delay-y="1.0000040000000041" label-x="-1.843747999999998" label-y="2.0000000020559128E-6" name="T221" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setQtrue" type="EXP" x="37.549997999999995" y="45.999998"/>
|
|
<transition delay="1.000000" delay-x="0.5000040000000041" delay-y="1.0000100000000032" label-x="-1.999997999999998" label-y="8.000000001118224E-6" name="T22" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setQtrue" type="EXP" x="40.549997999999995" y="48.499994"/>
|
|
<transition delay="1.000000" delay-x="0.5000040000000041" delay-y="0.9999979999999979" label-x="2.000004000000004" label-y="-4.0000000041118255E-6" name="T23" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="43.549997999999995" y="60.000002"/>
|
|
<transition delay="1.000000" delay-x="0.5000040000000041" delay-y="1.00000399999999" label-x="2.156254000000004" label-y="1.9999999949504854E-6" name="T251" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setQfalse" type="EXP" x="43.549997999999995" y="69.999998"/>
|
|
<transition delay="1.000000" delay-x="0.5000040000000041" delay-y="0.999998000000005" label-x="2.000004000000004" label-y="1.9999999949504854E-6" name="T25" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setQfalse" type="EXP" x="46.549997999999995" y="72.5"/>
|
|
</nodes>
|
|
<edges>
|
|
<arc head="T1" head-magnet="0" kind="INPUT" tail="P1" tail-magnet="0"/>
|
|
<arc head="P2" head-magnet="0" kind="OUTPUT" tail="T1" tail-magnet="0"/>
|
|
<arc head="T31" head-magnet="0" kind="INPUT" tail="wantP_true" tail-magnet="0">
|
|
<point x="103.553208" y="34.477199999999996"/>
|
|
<point x="14.433900000000001" y="17.53794"/>
|
|
</arc>
|
|
<arc head="T31" head-magnet="0" kind="INPUT" tail="P2" tail-magnet="0"/>
|
|
<arc head="wantP_true" head-magnet="0" kind="OUTPUT" tail="T31" tail-magnet="0">
|
|
<point x="16.462055999999997" y="20.4339"/>
|
|
<point x="103.339296" y="32.186514"/>
|
|
</arc>
|
|
<arc head="P3" head-magnet="0" kind="OUTPUT" tail="T31" tail-magnet="0"/>
|
|
<arc head="T3" head-magnet="0" kind="INPUT" tail="wantP_false" tail-magnet="0">
|
|
<point x="103.72191000000001" y="41.178839999999994"/>
|
|
<point x="17.4339" y="20.037942"/>
|
|
</arc>
|
|
<arc head="T3" head-magnet="0" kind="INPUT" tail="P2" tail-magnet="0"/>
|
|
<arc head="wantP_true" head-magnet="0" kind="OUTPUT" tail="T3" tail-magnet="0">
|
|
<point x="19.462055999999997" y="22.933902"/>
|
|
<point x="103.72191000000001" y="34.821162"/>
|
|
</arc>
|
|
<arc head="P3" head-magnet="0" kind="OUTPUT" tail="T3" tail-magnet="0"/>
|
|
<arc head="T4" head-magnet="0" kind="INPUT" tail="wantQ_false" tail-magnet="0">
|
|
<point x="110.55755400000001" y="24.185856"/>
|
|
<point x="14.433900000000001" y="34.537944"/>
|
|
</arc>
|
|
<arc head="T4" head-magnet="0" kind="INPUT" tail="P3" tail-magnet="0"/>
|
|
<arc head="wantQ_false" head-magnet="0" kind="OUTPUT" tail="T4" tail-magnet="0">
|
|
<point x="16.462055999999997" y="37.433904"/>
|
|
<point x="110.638038" y="22.090488"/>
|
|
</arc>
|
|
<arc head="P6" head-magnet="0" kind="OUTPUT" tail="T4" tail-magnet="0">
|
|
<point x="13.999998000000001" y="55.000002"/>
|
|
</arc>
|
|
<arc head="T5" head-magnet="0" kind="INPUT" tail="wantQ_true" tail-magnet="0">
|
|
<point x="110.179992" y="12.987497999999999"/>
|
|
<point x="18.433902" y="24.537942"/>
|
|
</arc>
|
|
<arc head="T5" head-magnet="0" kind="INPUT" tail="P3" tail-magnet="0">
|
|
<point x="18.0" y="24.0"/>
|
|
</arc>
|
|
<arc head="wantQ_true" head-magnet="0" kind="OUTPUT" tail="T5" tail-magnet="0">
|
|
<point x="20.462058" y="27.433902"/>
|
|
<point x="110.3541" y="9.32295"/>
|
|
</arc>
|
|
<arc head="P4" head-magnet="0" kind="OUTPUT" tail="T5" tail-magnet="0"/>
|
|
<arc head="T71" head-magnet="0" kind="INPUT" tail="wantP_true" tail-magnet="0">
|
|
<point x="110.179992" y="34.987494"/>
|
|
<point x="18.433902" y="34.537944"/>
|
|
</arc>
|
|
<arc head="T71" head-magnet="0" kind="INPUT" tail="P4" tail-magnet="0"/>
|
|
<arc head="wantP_false" head-magnet="0" kind="OUTPUT" tail="T71" tail-magnet="0">
|
|
<point x="20.462058" y="37.433904"/>
|
|
<point x="110.179992" y="41.012502"/>
|
|
</arc>
|
|
<arc head="P5" head-magnet="0" kind="OUTPUT" tail="T71" tail-magnet="0"/>
|
|
<arc head="T7" head-magnet="0" kind="INPUT" tail="wantP_false" tail-magnet="0">
|
|
<point x="103.38214200000002" y="42.013314"/>
|
|
<point x="21.433902" y="37.037946"/>
|
|
</arc>
|
|
<arc head="T7" head-magnet="0" kind="INPUT" tail="P4" tail-magnet="0"/>
|
|
<arc head="wantP_false" head-magnet="0" kind="OUTPUT" tail="T7" tail-magnet="0">
|
|
<point x="23.462058" y="39.933906"/>
|
|
<point x="103.72191000000001" y="44.821158"/>
|
|
</arc>
|
|
<arc head="P5" head-magnet="0" kind="OUTPUT" tail="T7" tail-magnet="0"/>
|
|
<arc head="T91" head-magnet="0" kind="INPUT" tail="wantP_true" tail-magnet="0">
|
|
<point x="103.553208" y="34.477199999999996"/>
|
|
<point x="18.433902" y="43.537944"/>
|
|
</arc>
|
|
<arc head="T91" head-magnet="0" kind="INPUT" tail="P5" tail-magnet="0"/>
|
|
<arc head="wantP_true" head-magnet="0" kind="OUTPUT" tail="T91" tail-magnet="0">
|
|
<point x="20.462058" y="46.433904"/>
|
|
<point x="103.339296" y="32.186514"/>
|
|
</arc>
|
|
<arc head="P3" head-magnet="0" kind="OUTPUT" tail="T91" tail-magnet="0">
|
|
<point x="18.0" y="49.999998"/>
|
|
<point x="5.500002" y="49.999998"/>
|
|
<point x="5.500002" y="24.0"/>
|
|
</arc>
|
|
<arc head="T9" head-magnet="0" kind="INPUT" tail="wantP_false" tail-magnet="0">
|
|
<point x="103.72191000000001" y="41.178839999999994"/>
|
|
<point x="21.433902" y="46.037946"/>
|
|
</arc>
|
|
<arc head="T9" head-magnet="0" kind="INPUT" tail="P5" tail-magnet="0"/>
|
|
<arc head="wantP_true" head-magnet="0" kind="OUTPUT" tail="T9" tail-magnet="0">
|
|
<point x="23.462058" y="48.93390600000001"/>
|
|
<point x="103.72191000000001" y="34.821162"/>
|
|
</arc>
|
|
<arc head="P3" head-magnet="0" kind="OUTPUT" tail="T9" tail-magnet="0">
|
|
<point x="18.0" y="49.999998"/>
|
|
<point x="5.500002" y="49.999998"/>
|
|
<point x="5.500002" y="24.0"/>
|
|
</arc>
|
|
<arc head="T10" head-magnet="0" kind="INPUT" tail="P6" tail-magnet="0"/>
|
|
<arc head="P7" head-magnet="0" kind="OUTPUT" tail="T10" tail-magnet="0"/>
|
|
<arc head="T121" head-magnet="0" kind="INPUT" tail="wantP_true" tail-magnet="0">
|
|
<point x="110.179992" y="34.987494"/>
|
|
<point x="14.433900000000001" y="67.537938"/>
|
|
</arc>
|
|
<arc head="T121" head-magnet="0" kind="INPUT" tail="P7" tail-magnet="0"/>
|
|
<arc head="wantP_false" head-magnet="0" kind="OUTPUT" tail="T121" tail-magnet="0">
|
|
<point x="16.462055999999997" y="70.433904"/>
|
|
<point x="110.179992" y="41.012502"/>
|
|
</arc>
|
|
<arc head="P1" head-magnet="0" kind="OUTPUT" tail="T121" tail-magnet="0">
|
|
<point x="13.999998000000001" y="73.000002"/>
|
|
<point x="3.0" y="73.000002"/>
|
|
<point x="3.0" y="6.499998000000001"/>
|
|
</arc>
|
|
<arc head="T12" head-magnet="0" kind="INPUT" tail="wantP_false" tail-magnet="0">
|
|
<point x="103.38214200000002" y="42.013314"/>
|
|
<point x="17.4339" y="70.03794"/>
|
|
</arc>
|
|
<arc head="T12" head-magnet="0" kind="INPUT" tail="P7" tail-magnet="0"/>
|
|
<arc head="wantP_false" head-magnet="0" kind="OUTPUT" tail="T12" tail-magnet="0">
|
|
<point x="19.462055999999997" y="72.93390600000001"/>
|
|
<point x="103.72191000000001" y="44.821158"/>
|
|
</arc>
|
|
<arc head="P1" head-magnet="0" kind="OUTPUT" tail="T12" tail-magnet="0">
|
|
<point x="13.999998000000001" y="73.000002"/>
|
|
<point x="3.0" y="73.000002"/>
|
|
<point x="3.0" y="6.499998000000001"/>
|
|
</arc>
|
|
<arc head="T0" head-magnet="0" kind="INPUT" tail="P1" tail-magnet="0">
|
|
<point x="14.500001999999999" y="3.4999979999999997"/>
|
|
</arc>
|
|
<arc head="P1" head-magnet="0" kind="OUTPUT" tail="T0" tail-magnet="0">
|
|
<point x="17.500002" y="6.499998000000001"/>
|
|
</arc>
|
|
<arc head="T13" head-magnet="0" kind="INPUT" tail="Q1" tail-magnet="0">
|
|
<point x="43.000002" y="3.4999979999999997"/>
|
|
</arc>
|
|
<arc head="Q1" head-magnet="0" kind="OUTPUT" tail="T13" tail-magnet="0">
|
|
<point x="41.500002" y="6.499998000000001"/>
|
|
</arc>
|
|
<arc head="T14" head-magnet="0" kind="INPUT" tail="Q1" tail-magnet="0"/>
|
|
<arc head="Q2" head-magnet="0" kind="OUTPUT" tail="T14" tail-magnet="0"/>
|
|
<arc head="T161" head-magnet="0" kind="INPUT" tail="wantQ_true" tail-magnet="0">
|
|
<point x="103.645896" y="9.32295"/>
|
|
<point x="44.433899999999994" y="17.53794"/>
|
|
</arc>
|
|
<arc head="T161" head-magnet="0" kind="INPUT" tail="Q2" tail-magnet="0"/>
|
|
<arc head="wantQ_true" head-magnet="0" kind="OUTPUT" tail="T161" tail-magnet="0">
|
|
<point x="46.462056" y="20.4339"/>
|
|
<point x="103.408152" y="12.077556000000001"/>
|
|
</arc>
|
|
<arc head="Q3" head-magnet="0" kind="OUTPUT" tail="T161" tail-magnet="0"/>
|
|
<arc head="T16" head-magnet="0" kind="INPUT" tail="wantQ_false" tail-magnet="0">
|
|
<point x="103.72191000000001" y="21.178842"/>
|
|
<point x="47.433899999999994" y="20.037942"/>
|
|
</arc>
|
|
<arc head="T16" head-magnet="0" kind="INPUT" tail="Q2" tail-magnet="0"/>
|
|
<arc head="wantQ_true" head-magnet="0" kind="OUTPUT" tail="T16" tail-magnet="0">
|
|
<point x="49.462056000000004" y="22.933902"/>
|
|
<point x="104.039928" y="13.302275999999999"/>
|
|
</arc>
|
|
<arc head="Q3" head-magnet="0" kind="OUTPUT" tail="T16" tail-magnet="0"/>
|
|
<arc head="T17" head-magnet="0" kind="INPUT" tail="wantP_false" tail-magnet="0">
|
|
<point x="110.278086" y="44.821158"/>
|
|
<point x="44.433899999999994" y="32.537940000000006"/>
|
|
</arc>
|
|
<arc head="T17" head-magnet="0" kind="INPUT" tail="Q3" tail-magnet="0"/>
|
|
<arc head="wantP_false" head-magnet="0" kind="OUTPUT" tail="T17" tail-magnet="0">
|
|
<point x="46.462056" y="35.433899999999994"/>
|
|
<point x="110.68951200000001" y="42.329178"/>
|
|
</arc>
|
|
<arc head="Q6" head-magnet="0" kind="OUTPUT" tail="T17" tail-magnet="0"/>
|
|
<arc head="T18" head-magnet="0" kind="INPUT" tail="wantP_true" tail-magnet="0">
|
|
<point x="110.55755400000001" y="31.814141999999997"/>
|
|
<point x="38.433899999999994" y="25.537944000000003"/>
|
|
</arc>
|
|
<arc head="T18" head-magnet="0" kind="INPUT" tail="Q3" tail-magnet="0">
|
|
<point x="37.999998" y="24.0"/>
|
|
</arc>
|
|
<arc head="wantP_true" head-magnet="0" kind="OUTPUT" tail="T18" tail-magnet="0">
|
|
<point x="40.462056" y="28.433904000000002"/>
|
|
<point x="110.59184400000001" y="34.077552000000004"/>
|
|
</arc>
|
|
<arc head="Q4" head-magnet="0" kind="OUTPUT" tail="T18" tail-magnet="0"/>
|
|
<arc head="T201" head-magnet="0" kind="INPUT" tail="wantQ_true" tail-magnet="0">
|
|
<point x="109.999998" y="13.249998000000001"/>
|
|
<point x="38.433899999999994" y="35.537940000000006"/>
|
|
</arc>
|
|
<arc head="T201" head-magnet="0" kind="INPUT" tail="Q4" tail-magnet="0"/>
|
|
<arc head="wantQ_false" head-magnet="0" kind="OUTPUT" tail="T201" tail-magnet="0">
|
|
<point x="40.462056" y="38.433899999999994"/>
|
|
<point x="109.999998" y="20.749998"/>
|
|
</arc>
|
|
<arc head="P0" head-magnet="0" kind="OUTPUT" tail="T201" tail-magnet="0"/>
|
|
<arc head="T20" head-magnet="0" kind="INPUT" tail="wantQ_false" tail-magnet="0">
|
|
<point x="103.408152" y="21.922446"/>
|
|
<point x="41.433899999999994" y="38.037942"/>
|
|
</arc>
|
|
<arc head="T20" head-magnet="0" kind="INPUT" tail="Q4" tail-magnet="0"/>
|
|
<arc head="wantQ_false" head-magnet="0" kind="OUTPUT" tail="T20" tail-magnet="0">
|
|
<point x="43.462056" y="40.933896"/>
|
|
<point x="103.408152" y="24.077556"/>
|
|
</arc>
|
|
<arc head="P0" head-magnet="0" kind="OUTPUT" tail="T20" tail-magnet="0"/>
|
|
<arc head="T221" head-magnet="0" kind="INPUT" tail="wantQ_true" tail-magnet="0">
|
|
<point x="103.645896" y="9.32295"/>
|
|
<point x="38.433899999999994" y="44.537940000000006"/>
|
|
</arc>
|
|
<arc head="T221" head-magnet="0" kind="INPUT" tail="P0" tail-magnet="0"/>
|
|
<arc head="wantQ_true" head-magnet="0" kind="OUTPUT" tail="T221" tail-magnet="0">
|
|
<point x="40.462056" y="47.433899999999994"/>
|
|
<point x="103.408152" y="12.077556000000001"/>
|
|
</arc>
|
|
<arc head="Q3" head-magnet="0" kind="OUTPUT" tail="T221" tail-magnet="0">
|
|
<point x="37.999998" y="49.999998"/>
|
|
<point x="48.0" y="49.999998"/>
|
|
<point x="48.0" y="24.0"/>
|
|
</arc>
|
|
<arc head="T22" head-magnet="0" kind="INPUT" tail="wantQ_false" tail-magnet="0">
|
|
<point x="103.72191000000001" y="21.178842"/>
|
|
<point x="41.433899999999994" y="47.037942"/>
|
|
</arc>
|
|
<arc head="T22" head-magnet="0" kind="INPUT" tail="P0" tail-magnet="0"/>
|
|
<arc head="wantQ_true" head-magnet="0" kind="OUTPUT" tail="T22" tail-magnet="0">
|
|
<point x="43.462056" y="49.933896000000004"/>
|
|
<point x="104.039928" y="13.302275999999999"/>
|
|
</arc>
|
|
<arc head="Q3" head-magnet="0" kind="OUTPUT" tail="T22" tail-magnet="0">
|
|
<point x="37.999998" y="49.999998"/>
|
|
<point x="48.0" y="49.999998"/>
|
|
<point x="48.0" y="24.0"/>
|
|
</arc>
|
|
<arc head="T23" head-magnet="0" kind="INPUT" tail="Q6" tail-magnet="0"/>
|
|
<arc head="Q7" head-magnet="0" kind="OUTPUT" tail="T23" tail-magnet="0"/>
|
|
<arc head="T251" head-magnet="0" kind="INPUT" tail="wantQ_true" tail-magnet="0">
|
|
<point x="109.999998" y="13.249998000000001"/>
|
|
<point x="44.433899999999994" y="68.53794"/>
|
|
</arc>
|
|
<arc head="T251" head-magnet="0" kind="INPUT" tail="Q7" tail-magnet="0"/>
|
|
<arc head="wantQ_false" head-magnet="0" kind="OUTPUT" tail="T251" tail-magnet="0">
|
|
<point x="46.462056" y="71.43390600000001"/>
|
|
<point x="109.999998" y="20.749998"/>
|
|
</arc>
|
|
<arc head="Q1" head-magnet="0" kind="OUTPUT" tail="T251" tail-magnet="0">
|
|
<point x="43.999998" y="73.999998"/>
|
|
<point x="55.000002" y="73.999998"/>
|
|
<point x="54.499998" y="6.0"/>
|
|
</arc>
|
|
<arc head="T25" head-magnet="0" kind="INPUT" tail="wantQ_false" tail-magnet="0">
|
|
<point x="103.408152" y="21.922446"/>
|
|
<point x="47.433899999999994" y="71.037942"/>
|
|
</arc>
|
|
<arc head="T25" head-magnet="0" kind="INPUT" tail="Q7" tail-magnet="0"/>
|
|
<arc head="wantQ_false" head-magnet="0" kind="OUTPUT" tail="T25" tail-magnet="0">
|
|
<point x="49.462056000000004" y="73.933908"/>
|
|
<point x="103.408152" y="24.077556"/>
|
|
</arc>
|
|
<arc head="Q1" head-magnet="0" kind="OUTPUT" tail="T25" tail-magnet="0">
|
|
<point x="43.999998" y="73.999998"/>
|
|
<point x="55.000002" y="73.999998"/>
|
|
<point x="54.499998" y="6.0"/>
|
|
</arc>
|
|
</edges>
|
|
</gspn>
|
|
<gspn name="3.10 P+Q" show-color-cmd="false" show-fluid-cmd="false" show-timed-cmd="false" view-rates="false">
|
|
<nodes>
|
|
<place label-x="-1.0" label-y="-1.5" marking="1" name="P1" x="7.0" y="5.0"/>
|
|
<transition name="T0" nservers-x="0.5" rotation="2.356194490192345" type="EXP" x="12.55" y="2.0"/>
|
|
<place label-x="-2.0" label-y="0.0" name="P2" x="7.0" y="13.0"/>
|
|
<place label-x="-1.5" label-y="-1.0" name="P3" x="7.0" y="23.0"/>
|
|
<place label-x="-2.0" label-y="0.0" name="P4" x="13.0" y="31.0"/>
|
|
<place label-x="2.0" label-y="0.0" name="P5" x="17.0" y="38.0"/>
|
|
<place label-x="2.0" label-y="0.0" name="P6" x="17.0" y="46.0"/>
|
|
<place label-x="2.0" label-y="0.0" name="P7" x="17.0" y="54.0"/>
|
|
<place label-x="-2.0" label-y="0.0" name="P8" x="7.0" y="65.0"/>
|
|
<place label-x="-2.0" label-y="0.0" name="P9" x="7.0" y="73.0"/>
|
|
<place label-x="-2.0" label-y="0.0" name="P10" x="7.0" y="81.0"/>
|
|
<transition label-x="-2.0" label-y="0.0" name="T1" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="7.55" y="9.0"/>
|
|
<transition label-x="-2.0" label-y="0.0" name="T2" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="-4.5" superpos-y="0.0" superposition-tags="setPtrue" type="EXP" x="7.55" y="19.0"/>
|
|
<transition label-x="-2.0" label-y="0.0" name="T3" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="3.0" superpos-y="0.0" superposition-tags="isQtrue" type="EXP" x="13.55" y="26.0"/>
|
|
<transition label-x="-2.5" label-y="0.0" name="T4" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="-2.5" superpos-y="-1.5" superposition-tags="isQfalse" type="EXP" x="7.55" y="37.0"/>
|
|
<transition label-x="2.0" label-y="0.0" name="T5" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="4.5" superpos-y="0.0" superposition-tags="isTurnQ" type="EXP" x="17.55" y="34.0"/>
|
|
<transition label-x="-2.0" label-y="0.0" name="T6" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="-2.0" superpos-y="-1.5" superposition-tags="isTurnP" type="EXP" x="13.55" y="40.0"/>
|
|
<transition label-x="2.0" label-y="0.0" name="T7" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="4.5" superpos-y="0.0" superposition-tags="setPfalse" type="EXP" x="17.55" y="42.0"/>
|
|
<transition label-x="2.0" label-y="0.0" name="T8" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="4.5" superpos-y="0.0" superposition-tags="isTurnP" type="EXP" x="17.55" y="50.0"/>
|
|
<transition label-x="2.0" label-y="0.0" name="T9" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="4.5" superpos-y="0.0" superposition-tags="setPtrue" type="EXP" x="17.55" y="59.0"/>
|
|
<transition label-x="-2.0" label-y="0.0" name="T10" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="7.55" y="69.0"/>
|
|
<transition label-x="-2.0" label-y="0.0" name="T11" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="-4.5" superpos-y="0.0" superposition-tags="setTurnQ" type="EXP" x="7.55" y="77.0"/>
|
|
<transition label-x="-2.0" label-y="0.0" name="T12" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="-4.5" superpos-y="0.0" superposition-tags="setPfalse" type="EXP" x="7.55" y="86.0"/>
|
|
<place label-x="-1.0" label-y="-1.5" marking="1" name="Q1" x="45.0" y="5.0"/>
|
|
<transition name="copy_T0" nservers-x="0.5" rotation="2.356194490192345" type="EXP" x="50.55" y="2.0"/>
|
|
<place label-x="-2.0" label-y="0.0" name="Q2" x="45.0" y="13.0"/>
|
|
<place label-x="-1.5" label-y="-1.0" name="Q3" x="45.0" y="23.0"/>
|
|
<place label-x="-2.0" label-y="0.0" name="Q4" x="51.0" y="31.0"/>
|
|
<place label-x="2.0" label-y="0.0" name="Q5" x="55.0" y="38.0"/>
|
|
<place label-x="2.0" label-y="0.0" name="Q6" x="55.0" y="46.0"/>
|
|
<place label-x="2.0" label-y="0.0" name="Q7" x="55.0" y="54.0"/>
|
|
<place label-x="-2.0" label-y="0.0" name="Q8" x="45.0" y="65.0"/>
|
|
<place label-x="-2.0" label-y="0.0" name="Q9" x="45.0" y="73.0"/>
|
|
<place label-x="-2.0" label-y="0.0" name="Q10" x="45.0" y="81.0"/>
|
|
<transition label-x="-2.0" label-y="0.0" name="T13" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="45.55" y="9.0"/>
|
|
<transition label-x="-2.0" label-y="0.0" name="T14" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="-4.5" superpos-y="0.0" superposition-tags="setQtrue" type="EXP" x="45.55" y="19.0"/>
|
|
<transition label-x="-2.0" label-y="0.0" name="T15" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="3.0" superpos-y="0.0" superposition-tags="isPtrue" type="EXP" x="51.55" y="26.0"/>
|
|
<transition label-x="-2.5" label-y="0.0" name="T16" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="-2.5" superpos-y="-1.5" superposition-tags="isPfalse" type="EXP" x="45.55" y="37.0"/>
|
|
<transition label-x="2.0" label-y="0.0" name="T17" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="4.5" superpos-y="0.0" superposition-tags="isTurnP" type="EXP" x="55.55" y="34.0"/>
|
|
<transition label-x="-2.0" label-y="0.0" name="T18" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="-2.0" superpos-y="-1.5" superposition-tags="isTurnQ" type="EXP" x="51.55" y="40.0"/>
|
|
<transition label-x="2.0" label-y="0.0" name="T19" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="4.5" superpos-y="0.0" superposition-tags="setQfalse" type="EXP" x="55.55" y="42.0"/>
|
|
<transition label-x="2.0" label-y="0.0" name="T20" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="4.5" superpos-y="0.0" superposition-tags="isTurnQ" type="EXP" x="55.55" y="50.0"/>
|
|
<transition label-x="2.0" label-y="0.0" name="T21" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="4.5" superpos-y="0.0" superposition-tags="setQtrue" type="EXP" x="55.55" y="59.0"/>
|
|
<transition label-x="-2.0" label-y="0.0" name="T22" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="45.55" y="69.0"/>
|
|
<transition label-x="-2.0" label-y="0.0" name="T23" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="-4.5" superpos-y="0.0" superposition-tags="setTurnP" type="EXP" x="45.55" y="77.0"/>
|
|
<transition label-x="-2.0" label-y="0.0" name="T24" nservers-x="0.5" rotation="1.5707963267948966" superpos-x="-4.5" superpos-y="0.0" superposition-tags="setQfalse" type="EXP" x="45.55" y="86.0"/>
|
|
</nodes>
|
|
<edges>
|
|
<arc head="T0" kind="INPUT" tail="P1">
|
|
<point x="8.5" y="2.5"/>
|
|
</arc>
|
|
<arc head="P1" kind="OUTPUT" tail="T0">
|
|
<point x="12.5" y="6.0"/>
|
|
</arc>
|
|
<arc head="T1" kind="INPUT" tail="P1"/>
|
|
<arc head="P2" kind="OUTPUT" tail="T1"/>
|
|
<arc head="T2" kind="INPUT" tail="P2"/>
|
|
<arc head="P3" kind="OUTPUT" tail="T2"/>
|
|
<arc head="T3" kind="INPUT" mult-k="1.1536132812499997" tail="P3">
|
|
<point x="14.0" y="24.0"/>
|
|
</arc>
|
|
<arc head="P4" kind="OUTPUT" tail="T3"/>
|
|
<arc head="T4" kind="INPUT" tail="P3"/>
|
|
<arc head="P8" kind="OUTPUT" tail="T4"/>
|
|
<arc head="T5" kind="INPUT" tail="P4">
|
|
<point x="18.0" y="32.0"/>
|
|
</arc>
|
|
<arc head="T6" kind="INPUT" tail="P4"/>
|
|
<arc head="P5" kind="OUTPUT" tail="T5"/>
|
|
<arc head="P3" kind="OUTPUT" tail="T6">
|
|
<point x="14.0" y="45.0"/>
|
|
<point x="3.0" y="45.0"/>
|
|
<point x="3.0" y="24.0"/>
|
|
</arc>
|
|
<arc head="T7" kind="INPUT" tail="P5"/>
|
|
<arc head="P6" kind="OUTPUT" tail="T7"/>
|
|
<arc head="T8" kind="INPUT" tail="P6"/>
|
|
<arc head="P7" kind="OUTPUT" tail="T8"/>
|
|
<arc head="T9" kind="INPUT" tail="P7"/>
|
|
<arc head="P3" kind="OUTPUT" tail="T9">
|
|
<point x="18.0" y="62.5"/>
|
|
<point x="27.0" y="62.5"/>
|
|
<point x="27.0" y="23.0"/>
|
|
<point x="10.0" y="23.0"/>
|
|
</arc>
|
|
<arc head="T10" kind="INPUT" tail="P8"/>
|
|
<arc head="P9" kind="OUTPUT" tail="T10"/>
|
|
<arc head="T11" kind="INPUT" tail="P9"/>
|
|
<arc head="P10" kind="OUTPUT" tail="T11"/>
|
|
<arc head="T12" kind="INPUT" tail="P10"/>
|
|
<arc head="P1" kind="OUTPUT" tail="T12">
|
|
<point x="8.0" y="90.0"/>
|
|
<point x="1.0" y="90.0"/>
|
|
<point x="1.0" y="6.0"/>
|
|
</arc>
|
|
<arc head="copy_T0" kind="INPUT" tail="Q1">
|
|
<point x="46.5" y="2.5"/>
|
|
</arc>
|
|
<arc head="Q1" kind="OUTPUT" tail="copy_T0">
|
|
<point x="50.5" y="6.0"/>
|
|
</arc>
|
|
<arc head="T13" kind="INPUT" tail="Q1"/>
|
|
<arc head="Q2" kind="OUTPUT" tail="T13"/>
|
|
<arc head="T14" kind="INPUT" tail="Q2"/>
|
|
<arc head="Q3" kind="OUTPUT" tail="T14"/>
|
|
<arc head="T15" kind="INPUT" mult-k="1.1536132812499997" tail="Q3">
|
|
<point x="52.0" y="24.0"/>
|
|
</arc>
|
|
<arc head="Q4" kind="OUTPUT" tail="T15"/>
|
|
<arc head="T16" kind="INPUT" tail="Q3"/>
|
|
<arc head="Q8" kind="OUTPUT" tail="T16"/>
|
|
<arc head="T17" kind="INPUT" tail="Q4">
|
|
<point x="56.0" y="32.0"/>
|
|
</arc>
|
|
<arc head="T18" kind="INPUT" tail="Q4"/>
|
|
<arc head="Q5" kind="OUTPUT" tail="T17"/>
|
|
<arc head="Q3" kind="OUTPUT" tail="T18">
|
|
<point x="52.0" y="45.0"/>
|
|
<point x="41.0" y="45.0"/>
|
|
<point x="41.0" y="24.0"/>
|
|
</arc>
|
|
<arc head="T19" kind="INPUT" tail="Q5"/>
|
|
<arc head="Q6" kind="OUTPUT" tail="T19"/>
|
|
<arc head="T20" kind="INPUT" tail="Q6"/>
|
|
<arc head="Q7" kind="OUTPUT" tail="T20"/>
|
|
<arc head="T21" kind="INPUT" tail="Q7"/>
|
|
<arc head="Q3" kind="OUTPUT" tail="T21">
|
|
<point x="56.0" y="62.5"/>
|
|
<point x="65.0" y="62.5"/>
|
|
<point x="65.0" y="23.0"/>
|
|
<point x="48.0" y="23.0"/>
|
|
</arc>
|
|
<arc head="T22" kind="INPUT" tail="Q8"/>
|
|
<arc head="Q9" kind="OUTPUT" tail="T22"/>
|
|
<arc head="T23" kind="INPUT" tail="Q9"/>
|
|
<arc head="Q10" kind="OUTPUT" tail="T23"/>
|
|
<arc head="T24" kind="INPUT" tail="Q10"/>
|
|
<arc head="Q1" kind="OUTPUT" tail="T24">
|
|
<point x="46.0" y="90.0"/>
|
|
<point x="39.0" y="90.0"/>
|
|
<point x="39.0" y="6.0"/>
|
|
</arc>
|
|
</edges>
|
|
</gspn>
|
|
<gspn name="3.10 VAR" show-color-cmd="false" show-fluid-cmd="false" show-timed-cmd="false" view-rates="false">
|
|
<nodes>
|
|
<place marking="1" name="TurnP" x="10.0" y="9.0"/>
|
|
<place name="TurnQ" x="10.0" y="20.0"/>
|
|
<transition name="T0" nservers-x="0.5" superposition-tags="setTurnP" type="EXP" x="4.55" y="9.0"/>
|
|
<transition name="T1" nservers-x="0.5" superposition-tags="isTurnP" type="EXP" x="16.55" y="9.0"/>
|
|
<transition name="T2" nservers-x="0.5" superposition-tags="setTurnQ" type="EXP" x="16.55" y="15.0"/>
|
|
<transition name="T3" nservers-x="0.5" superposition-tags="isTurnQ" type="EXP" x="16.55" y="20.0"/>
|
|
<transition name="T4" nservers-x="0.5" superposition-tags="setTurnP" type="EXP" x="4.55" y="15.0"/>
|
|
<transition name="T5" nservers-x="0.5" superposition-tags="setTurnQ" type="EXP" x="4.55" y="20.0"/>
|
|
<place label-y="-2.0" name="wantP_true" x="36.0" y="27.0"/>
|
|
<place label-y="-2.0" name="wantQ_true" x="36.0" y="5.0"/>
|
|
<place label-y="-2.0" marking="1" name="wantP_false" x="36.0" y="37.0"/>
|
|
<place label-y="-2.0" marking="1" name="wantQ_false" x="36.0" y="17.0"/>
|
|
<transition name="copy_T0" nservers-x="0.5" superposition-tags="setQtrue" type="EXP" x="27.55" y="5.0"/>
|
|
<transition name="copy_T1" nservers-x="0.5" superposition-tags="setQtrue" type="EXP" x="27.55" y="12.0"/>
|
|
<transition name="copy_T2" nservers-x="0.5" superposition-tags="isQtrue" type="EXP" x="44.55" y="5.0"/>
|
|
<transition name="copy_T3" nservers-x="0.5" superposition-tags="setQfalse" type="EXP" x="44.55" y="11.0"/>
|
|
<transition name="copy_T4" nservers-x="0.5" superposition-tags="isQfalse" type="EXP" x="44.55" y="17.0"/>
|
|
<transition name="copy_T5" nservers-x="0.5" superposition-tags="setQfalse" type="EXP" x="27.55" y="17.0"/>
|
|
<transition name="T7" nservers-x="0.5" superposition-tags="setPtrue" type="EXP" x="27.55" y="27.0"/>
|
|
<transition name="T8" nservers-x="0.5" superposition-tags="isPtrue" type="EXP" x="44.55" y="27.0"/>
|
|
<transition name="T9" nservers-x="0.5" superposition-tags="setPfalse" type="EXP" x="44.55" y="32.0"/>
|
|
<transition name="T10" nservers-x="0.5" superposition-tags="setPtrue" type="EXP" x="27.55" y="32.0"/>
|
|
<transition name="T11" nservers-x="0.5" superposition-tags="setPfalse" type="EXP" x="27.55" y="37.0"/>
|
|
<transition name="T12" nservers-x="0.5" superposition-tags="isPfalse" type="EXP" x="44.55" y="37.0"/>
|
|
</nodes>
|
|
<edges>
|
|
<arc head="TurnP" kind="OUTPUT" tail="T0">
|
|
<point x="7.5" y="8.0"/>
|
|
</arc>
|
|
<arc head="T0" kind="INPUT" tail="TurnP">
|
|
<point x="8.0" y="12.0"/>
|
|
</arc>
|
|
<arc head="T1" kind="INPUT" tail="TurnP">
|
|
<point x="14.0" y="9.0"/>
|
|
</arc>
|
|
<arc head="TurnP" kind="OUTPUT" tail="T1">
|
|
<point x="14.0" y="11.5"/>
|
|
</arc>
|
|
<arc head="T4" kind="INPUT" tail="TurnQ"/>
|
|
<arc head="TurnP" kind="OUTPUT" tail="T4"/>
|
|
<arc head="T2" kind="INPUT" tail="TurnP"/>
|
|
<arc head="TurnQ" kind="OUTPUT" tail="T2"/>
|
|
<arc head="TurnQ" kind="OUTPUT" tail="T5">
|
|
<point x="7.5" y="22.5"/>
|
|
</arc>
|
|
<arc head="T5" kind="INPUT" tail="TurnQ">
|
|
<point x="8.0" y="20.0"/>
|
|
<point x="4.5" y="21.0"/>
|
|
</arc>
|
|
<arc head="T3" kind="INPUT" tail="TurnQ">
|
|
<point x="14.0" y="23.0"/>
|
|
</arc>
|
|
<arc head="TurnQ" kind="OUTPUT" tail="T3">
|
|
<point x="14.5" y="19.5"/>
|
|
</arc>
|
|
<arc head="wantQ_true" kind="OUTPUT" tail="copy_T0">
|
|
<point x="32.0" y="7.5"/>
|
|
</arc>
|
|
<arc head="copy_T0" kind="INPUT" tail="wantQ_true">
|
|
<point x="32.0" y="3.5"/>
|
|
</arc>
|
|
<arc head="wantQ_true" kind="OUTPUT" tail="copy_T2">
|
|
<point x="41.0" y="4.0"/>
|
|
</arc>
|
|
<arc head="copy_T2" kind="INPUT" tail="wantQ_true">
|
|
<point x="41.0" y="8.5"/>
|
|
</arc>
|
|
<arc head="copy_T3" kind="INPUT" tail="wantQ_true"/>
|
|
<arc head="wantQ_false" kind="OUTPUT" mult-k="0.6135742187500001" tail="copy_T3">
|
|
<point x="42.5" y="14.5"/>
|
|
</arc>
|
|
<arc head="copy_T1" kind="INPUT" tail="wantQ_false"/>
|
|
<arc head="wantQ_true" kind="OUTPUT" tail="copy_T1"/>
|
|
<arc head="wantQ_false" kind="OUTPUT" tail="copy_T5">
|
|
<point x="32.0" y="19.5"/>
|
|
</arc>
|
|
<arc head="copy_T5" kind="INPUT" tail="wantQ_false">
|
|
<point x="32.0" y="16.5"/>
|
|
</arc>
|
|
<arc head="copy_T4" kind="INPUT" tail="wantQ_false">
|
|
<point x="41.5" y="19.5"/>
|
|
</arc>
|
|
<arc head="wantQ_false" kind="OUTPUT" tail="copy_T4">
|
|
<point x="41.0" y="17.0"/>
|
|
</arc>
|
|
<arc head="T8" kind="INPUT" tail="wantP_true">
|
|
<point x="41.5" y="26.5"/>
|
|
<point x="44.0" y="27.5"/>
|
|
</arc>
|
|
<arc head="wantP_true" kind="OUTPUT" tail="T8">
|
|
<point x="42.0" y="29.5"/>
|
|
</arc>
|
|
<arc head="T7" kind="INPUT" tail="wantP_true">
|
|
<point x="33.5" y="29.5"/>
|
|
</arc>
|
|
<arc head="wantP_true" kind="OUTPUT" tail="T7">
|
|
<point x="32.5" y="27.0"/>
|
|
</arc>
|
|
<arc head="wantP_false" kind="OUTPUT" tail="T11">
|
|
<point x="32.5" y="40.5"/>
|
|
</arc>
|
|
<arc head="T11" kind="INPUT" tail="wantP_false">
|
|
<point x="31.5" y="36.5"/>
|
|
</arc>
|
|
<arc head="T12" kind="INPUT" tail="wantP_false">
|
|
<point x="41.5" y="40.5"/>
|
|
</arc>
|
|
<arc head="wantP_false" kind="OUTPUT" tail="T12">
|
|
<point x="42.5" y="37.0"/>
|
|
</arc>
|
|
<arc head="T10" kind="INPUT" tail="wantP_false"/>
|
|
<arc head="wantP_true" kind="OUTPUT" tail="T10"/>
|
|
<arc head="T9" kind="INPUT" tail="wantP_true"/>
|
|
<arc head="wantP_false" kind="OUTPUT" tail="T9"/>
|
|
</edges>
|
|
</gspn>
|
|
<gspn name="3.10 FULL" show-color-cmd="false" show-fluid-cmd="false" show-timed-cmd="false" view-rates="false">
|
|
<nodes>
|
|
<place label-x="-1.0000000000000009" label-y="-1.5" marking="1" name="P1" x="6.999998000000001" y="5.0"/>
|
|
<place label-x="-1.9999960000000012" label-y="-1.7763568394002505E-15" name="P2" x="6.999998000000001" y="12.999998000000001"/>
|
|
<place label-x="-1.4999980000000006" label-y="-1.0000020000000003" name="P3" x="6.999998000000001" y="23.0"/>
|
|
<place label-x="-1.9999960000000012" label-y="5.329070518200751E-15" name="P4" x="12.999998000000001" y="30.999997999999998"/>
|
|
<place label-x="2.0000000000000018" label-y="-1.7763568394002505E-15" name="P5" x="17.0" y="38.0"/>
|
|
<place label-x="2.0000000000000018" label-y="5.329070518200751E-15" name="P6" x="17.0" y="45.999998"/>
|
|
<place label-x="2.0000000000000018" label-y="-5.9999999937332404E-6" name="P7" x="17.0" y="54.000002"/>
|
|
<place label-x="-1.9999960000000012" label-y="5.999999997285954E-6" name="P8" x="6.999998000000001" y="65.0"/>
|
|
<place label-x="-1.9999960000000012" label-y="-1.5987211554602254E-14" name="P9" x="6.999998000000001" y="72.999998"/>
|
|
<place label-x="-1.9999980000000006" label-y="-5.999999986627813E-6" name="P10" x="6.999998000000001" y="81.000002"/>
|
|
<place label-x="-1.0000020000000038" label-y="-1.5" marking="1" name="Q1" x="45.000002" y="5.0"/>
|
|
<place label-x="-2.000003999999999" label-y="-1.7763568394002505E-15" name="Q2" x="45.000002" y="12.999998000000001"/>
|
|
<place label-x="-1.5000000000000018" label-y="-1.0000020000000003" name="Q3" x="45.000002" y="23.0"/>
|
|
<place label-x="-2.000004000000006" label-y="5.329070518200751E-15" name="Q4" x="51.000002" y="30.999997999999998"/>
|
|
<place label-x="1.9999980000000104" label-y="-1.7763568394002505E-15" name="Q5" x="54.999998" y="38.0"/>
|
|
<place label-x="1.9999980000000104" label-y="5.329070518200751E-15" name="Q6" x="54.999998" y="45.999998"/>
|
|
<place label-x="1.9999980000000104" label-y="-5.9999999937332404E-6" name="Q7" x="54.999998" y="54.000002"/>
|
|
<place label-x="-2.000003999999999" label-y="5.999999997285954E-6" name="Q8" x="45.000002" y="65.0"/>
|
|
<place label-x="-2.000003999999999" label-y="-1.5987211554602254E-14" name="Q9" x="45.000002" y="72.999998"/>
|
|
<place label-x="-2.0000000000000018" label-y="-5.999999986627813E-6" name="Q10" x="45.000002" y="81.000002"/>
|
|
<place label-x="-5.999999986627813E-6" label-y="1.5000000000000018" marking="1" name="TurnP" x="78.000002" y="9.000001999999999"/>
|
|
<place label-x="-1.9999999967268423E-6" label-y="1.5000000000000018" name="TurnQ" x="78.000002" y="20.0"/>
|
|
<place label-x="5.999999997285954E-6" label-y="-2.000003999999999" name="wantP_true" x="104.0" y="27.000002000000002"/>
|
|
<place label-x="2.0000000073849833E-6" label-y="-1.9999980000000006" name="wantQ_true" x="104.0" y="5.0"/>
|
|
<place label-x="4.000000002335469E-6" label-y="-1.9999979999999997" marking="1" name="wantP_false" x="104.0" y="36.999998"/>
|
|
<place label-x="5.999999997285954E-6" label-y="-2.0000040000000006" marking="1" name="wantQ_false" x="104.0" y="17.0"/>
|
|
<transition delay="1.000000" delay-x="0.4999980000000015" delay-y="0.9999979999999997" label-x="-3.999999997006398E-6" label-y="-1.4999979999999997" name="T0" nservers-x="0.5" rotation="2.356194490192345" type="EXP" x="12.550002" y="2.0"/>
|
|
<transition delay="1.000000" delay-x="0.5000039999999979" delay-y="0.9999980000000015" label-x="-1.9999960000000003" label-y="-3.999999997006398E-6" name="T1" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="7.549998" y="9.000001999999999"/>
|
|
<transition delay="1.000000" delay-x="0.5000039999999979" delay-y="1.000003999999997" label-x="-1.8437460000000003" label-y="1.999999998503199E-6" name="T25" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setPtrue" type="EXP" x="7.549998" y="18.999998"/>
|
|
<transition delay="1.000000" delay-x="0.500003999999997" delay-y="0.9999980000000015" label-x="-1.999996000000003" label-y="1.999999998503199E-6" name="T2" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setPtrue" type="EXP" x="10.549998000000002" y="21.5"/>
|
|
<transition delay="1.000000" delay-x="0.500003999999997" delay-y="0.9999979999999979" label-x="-1.999996000000003" label-y="2.0000000020559128E-6" name="T3" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="isQtrue" type="EXP" x="13.549998000000002" y="26.0"/>
|
|
<transition delay="1.000000" delay-x="0.5000039999999979" delay-y="1.0000040000000041" label-x="-2.500000000000001" label-y="2.0000000020559128E-6" name="T4" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="isQfalse" type="EXP" x="7.549998" y="36.999998"/>
|
|
<transition delay="1.000000" delay-x="0.4999980000000015" delay-y="1.0000040000000041" label-x="2.0" label-y="2.0000000020559128E-6" name="T5" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="isTurnQ" type="EXP" x="17.55" y="33.999998"/>
|
|
<transition delay="1.000000" delay-x="0.500003999999997" delay-y="1.0000040000000041" label-x="-1.999996000000003" label-y="2.0000000020559128E-6" name="T6" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="isTurnP" type="EXP" x="13.549998000000002" y="39.999998"/>
|
|
<transition delay="1.000000" delay-x="0.4999980000000015" delay-y="0.9999979999999979" label-x="2.15625" label-y="-4.0000000041118255E-6" name="T71" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setPfalse" type="EXP" x="17.55" y="42.000002"/>
|
|
<transition delay="1.000000" delay-x="0.4999980000000015" delay-y="1.0000040000000041" label-x="2.0" label-y="2.0000000020559128E-6" name="T7" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setPfalse" type="EXP" x="20.55" y="44.499998"/>
|
|
<transition delay="1.000000" delay-x="0.4999980000000015" delay-y="0.9999979999999979" label-x="2.0" label-y="2.0000000020559128E-6" name="T8" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="isTurnP" type="EXP" x="17.55" y="50.0"/>
|
|
<transition delay="1.000000" delay-x="0.4999980000000015" delay-y="0.9999979999999979" label-x="2.15625" label-y="2.0000000020559128E-6" name="T91" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setPtrue" type="EXP" x="17.55" y="59.0"/>
|
|
<transition delay="1.000000" delay-x="0.4999980000000015" delay-y="0.9999979999999979" label-x="2.0" label-y="-4.0000000041118255E-6" name="T9" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setPtrue" type="EXP" x="20.55" y="61.500002"/>
|
|
<transition delay="1.000000" delay-x="0.5000039999999979" delay-y="0.999998000000005" label-x="-1.9999980000000006" label-y="-3.999999989900971E-6" name="T10" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="7.549998" y="69.000002"/>
|
|
<transition delay="1.000000" delay-x="0.5000039999999979" delay-y="0.999998000000005" label-x="-1.8437480000000006" label-y="1.9999999949504854E-6" name="T111" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setTurnQ" type="EXP" x="7.549998" y="77.0"/>
|
|
<transition delay="1.000000" delay-x="0.500003999999997" delay-y="0.999998000000005" label-x="-1.9999980000000015" label-y="-3.999999989900971E-6" name="T11" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setTurnQ" type="EXP" x="10.549998000000002" y="79.500002"/>
|
|
<transition delay="1.000000" delay-x="0.5000039999999979" delay-y="0.999998000000005" label-x="-1.8437480000000006" label-y="1.9999999949504854E-6" name="T121" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setPfalse" type="EXP" x="7.549998" y="86.0"/>
|
|
<transition delay="1.000000" delay-x="0.500003999999997" delay-y="0.999998000000005" label-x="-1.9999980000000015" label-y="-3.999999989900971E-6" name="T12" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setPfalse" type="EXP" x="10.549998000000002" y="88.500002"/>
|
|
<transition delay="1.000000" delay-x="0.49999799999999794" delay-y="0.9999979999999997" label-y="-1.4999979999999997" name="copy_T0" nservers-x="0.5" rotation="2.356194490192345" type="EXP" x="50.55" y="2.0"/>
|
|
<transition delay="1.000000" delay-x="0.49999799999999794" delay-y="0.9999980000000015" label-x="-2.000004000000004" label-y="-3.999999997006398E-6" name="T13" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="45.550002" y="9.000001999999999"/>
|
|
<transition delay="1.000000" delay-x="0.49999799999999794" delay-y="1.000003999999997" label-x="-1.8437540000000041" label-y="1.999999998503199E-6" name="T141" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setQtrue" type="EXP" x="45.550002" y="18.999998"/>
|
|
<transition delay="1.000000" delay-x="0.49999799999999794" delay-y="0.9999980000000015" label-x="-2.000004000000004" label-y="1.999999998503199E-6" name="T14" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setQtrue" type="EXP" x="48.550002" y="21.5"/>
|
|
<transition delay="1.000000" delay-x="0.49999799999999794" delay-y="0.9999979999999979" label-x="-2.000004000000004" label-y="2.0000000020559128E-6" name="T15" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="isPtrue" type="EXP" x="51.550002" y="26.0"/>
|
|
<transition delay="1.000000" delay-x="0.49999799999999794" delay-y="1.0000040000000041" label-x="-2.500002000000002" label-y="2.0000000020559128E-6" name="T16" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="isPfalse" type="EXP" x="45.550002" y="36.999998"/>
|
|
<transition delay="1.000000" delay-x="0.5000040000000041" delay-y="1.0000040000000041" label-x="2.000004000000004" label-y="2.0000000020559128E-6" name="T17" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="isTurnP" type="EXP" x="55.549997999999995" y="33.999998"/>
|
|
<transition delay="1.000000" delay-x="0.49999799999999794" delay-y="1.0000040000000041" label-x="-2.000004000000004" label-y="2.0000000020559128E-6" name="T18" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="isTurnQ" type="EXP" x="51.550002" y="39.999998"/>
|
|
<transition delay="1.000000" delay-x="0.5000040000000041" delay-y="0.9999979999999979" label-x="2.156254000000004" label-y="-4.0000000041118255E-6" name="T191" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setQfalse" type="EXP" x="55.549997999999995" y="42.000002"/>
|
|
<transition delay="1.000000" delay-x="0.5000040000000041" delay-y="1.0000040000000041" label-x="2.000004000000004" label-y="2.0000000020559128E-6" name="T19" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setQfalse" type="EXP" x="58.549997999999995" y="44.499998"/>
|
|
<transition delay="1.000000" delay-x="0.5000040000000041" delay-y="0.9999979999999979" label-x="2.000004000000004" label-y="2.0000000020559128E-6" name="T20" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="isTurnQ" type="EXP" x="55.549997999999995" y="50.0"/>
|
|
<transition delay="1.000000" delay-x="0.5000040000000041" delay-y="0.9999979999999979" label-x="2.156254000000004" label-y="2.0000000020559128E-6" name="T211" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setQtrue" type="EXP" x="55.549997999999995" y="59.0"/>
|
|
<transition delay="1.000000" delay-x="0.5000040000000041" delay-y="0.9999979999999979" label-x="2.000004000000004" label-y="-4.0000000041118255E-6" name="T21" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setQtrue" type="EXP" x="58.549997999999995" y="61.500002"/>
|
|
<transition delay="1.000000" delay-x="0.49999799999999794" delay-y="0.999998000000005" label-x="-2.000004000000004" label-y="-3.999999989900971E-6" name="T22" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="45.550002" y="69.000002"/>
|
|
<transition delay="1.000000" delay-x="0.49999799999999794" delay-y="0.999998000000005" label-x="-1.8437540000000041" label-y="1.9999999949504854E-6" name="T231" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setTurnP" type="EXP" x="45.550002" y="77.0"/>
|
|
<transition delay="1.000000" delay-x="0.49999799999999794" delay-y="0.999998000000005" label-x="-2.000004000000004" label-y="-3.999999989900971E-6" name="T23" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setTurnP" type="EXP" x="48.550002" y="79.500002"/>
|
|
<transition delay="1.000000" delay-x="0.49999799999999794" delay-y="0.999998000000005" label-x="-1.8437540000000041" label-y="1.9999999949504854E-6" name="T241" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setQfalse" type="EXP" x="45.550002" y="86.0"/>
|
|
<transition delay="1.000000" delay-x="0.49999799999999794" delay-y="0.999998000000005" label-x="-2.000004000000004" label-y="-3.999999989900971E-6" name="T24" nservers-x="0.5" rotation="1.5707963267948966" superposition-tags="setQfalse" type="EXP" x="48.550002" y="88.500002"/>
|
|
</nodes>
|
|
<edges>
|
|
<arc head="T0" head-magnet="0" kind="INPUT" tail="P1" tail-magnet="0">
|
|
<point x="8.500001999999999" y="2.5000020000000003"/>
|
|
</arc>
|
|
<arc head="P1" head-magnet="0" kind="OUTPUT" tail="T0" tail-magnet="0">
|
|
<point x="12.499998000000001" y="6.0"/>
|
|
</arc>
|
|
<arc head="T1" head-magnet="0" kind="INPUT" tail="P1" tail-magnet="0"/>
|
|
<arc head="P2" head-magnet="0" kind="OUTPUT" tail="T1" tail-magnet="0"/>
|
|
<arc broken="true" head="T25" head-magnet="0" kind="INPUT" tail="wantP_true" tail-magnet="0">
|
|
<point x="101.553204" y="29.477196"/>
|
|
<point x="8.433900000000001" y="17.53794"/>
|
|
</arc>
|
|
<arc head="T25" head-magnet="0" kind="INPUT" tail="P2" tail-magnet="0"/>
|
|
<arc broken="true" head="wantP_true" head-magnet="0" kind="OUTPUT" tail="T25" tail-magnet="0">
|
|
<point x="10.462056" y="20.4339"/>
|
|
<point x="101.33929800000001" y="27.18651"/>
|
|
</arc>
|
|
<arc head="P3" head-magnet="0" kind="OUTPUT" tail="T25" tail-magnet="0"/>
|
|
<arc broken="true" head="T2" head-magnet="0" kind="INPUT" tail="wantP_false" tail-magnet="0">
|
|
<point x="101.721912" y="36.178842"/>
|
|
<point x="11.433900000000001" y="20.037942"/>
|
|
</arc>
|
|
<arc head="T2" head-magnet="0" kind="INPUT" tail="P2" tail-magnet="0"/>
|
|
<arc broken="true" head="wantP_true" head-magnet="0" kind="OUTPUT" tail="T2" tail-magnet="0">
|
|
<point x="13.462055999999999" y="22.933902"/>
|
|
<point x="101.721912" y="29.821158"/>
|
|
</arc>
|
|
<arc head="P3" head-magnet="0" kind="OUTPUT" tail="T2" tail-magnet="0"/>
|
|
<arc broken="true" head="T3" head-magnet="0" kind="INPUT" tail="wantQ_true" tail-magnet="0">
|
|
<point x="108.179994" y="7.987494"/>
|
|
<point x="14.433900000000001" y="24.537942"/>
|
|
</arc>
|
|
<arc head="T3" head-magnet="0" kind="INPUT" tail="P3" tail-magnet="0">
|
|
<point x="13.999998000000001" y="24.0"/>
|
|
</arc>
|
|
<arc broken="true" head="wantQ_true" head-magnet="0" kind="OUTPUT" tail="T3" tail-magnet="0">
|
|
<point x="16.462055999999997" y="27.433902"/>
|
|
<point x="108.35410200000001" y="4.322946"/>
|
|
</arc>
|
|
<arc head="P4" head-magnet="0" kind="OUTPUT" tail="T3" tail-magnet="0"/>
|
|
<arc broken="true" head="T4" head-magnet="0" kind="INPUT" tail="wantQ_false" tail-magnet="0">
|
|
<point x="108.557568" y="19.185852"/>
|
|
<point x="8.433900000000001" y="35.537940000000006"/>
|
|
</arc>
|
|
<arc head="T4" head-magnet="0" kind="INPUT" tail="P3" tail-magnet="0"/>
|
|
<arc broken="true" head="wantQ_false" head-magnet="0" kind="OUTPUT" tail="T4" tail-magnet="0">
|
|
<point x="10.462056" y="38.433899999999994"/>
|
|
<point x="108.63803999999999" y="17.090490000000003"/>
|
|
</arc>
|
|
<arc head="P8" head-magnet="0" kind="OUTPUT" tail="T4" tail-magnet="0"/>
|
|
<arc broken="true" head="T5" head-magnet="0" kind="INPUT" tail="TurnQ" tail-magnet="0">
|
|
<point x="82.120188" y="23.080128"/>
|
|
<point x="18.433902" y="32.537940000000006"/>
|
|
</arc>
|
|
<arc head="T5" head-magnet="0" kind="INPUT" tail="P4" tail-magnet="0">
|
|
<point x="18.0" y="31.999997999999998"/>
|
|
</arc>
|
|
<arc broken="true" head="TurnQ" head-magnet="0" kind="OUTPUT" tail="T5" tail-magnet="0">
|
|
<point x="20.462058" y="35.433899999999994"/>
|
|
<point x="82.446798" y="19.5228"/>
|
|
</arc>
|
|
<arc head="P5" head-magnet="0" kind="OUTPUT" tail="T5" tail-magnet="0"/>
|
|
<arc broken="true" head="T6" head-magnet="0" kind="INPUT" tail="TurnP" tail-magnet="0">
|
|
<point x="82.557564" y="8.814144"/>
|
|
<point x="14.433900000000001" y="38.537940000000006"/>
|
|
</arc>
|
|
<arc head="T6" head-magnet="0" kind="INPUT" tail="P4" tail-magnet="0"/>
|
|
<arc broken="true" head="TurnP" head-magnet="0" kind="OUTPUT" tail="T6" tail-magnet="0">
|
|
<point x="16.462055999999997" y="41.433899999999994"/>
|
|
<point x="82.35410399999999" y="11.67705"/>
|
|
</arc>
|
|
<arc head="P3" head-magnet="0" kind="OUTPUT" tail="T6" tail-magnet="0">
|
|
<point x="13.999998000000001" y="45.0"/>
|
|
<point x="3.0" y="45.0"/>
|
|
<point x="3.0" y="24.0"/>
|
|
</arc>
|
|
<arc broken="true" head="T71" head-magnet="0" kind="INPUT" tail="wantP_true" tail-magnet="0">
|
|
<point x="108.179994" y="29.987496"/>
|
|
<point x="18.433902" y="40.537944"/>
|
|
</arc>
|
|
<arc head="T71" head-magnet="0" kind="INPUT" tail="P5" tail-magnet="0"/>
|
|
<arc broken="true" head="wantP_false" head-magnet="0" kind="OUTPUT" tail="T71" tail-magnet="0">
|
|
<point x="20.462058" y="43.433904"/>
|
|
<point x="108.179994" y="36.012504"/>
|
|
</arc>
|
|
<arc head="P6" head-magnet="0" kind="OUTPUT" tail="T71" tail-magnet="0"/>
|
|
<arc broken="true" head="T7" head-magnet="0" kind="INPUT" tail="wantP_false" tail-magnet="0">
|
|
<point x="101.382138" y="37.013310000000004"/>
|
|
<point x="21.433902" y="43.037940000000006"/>
|
|
</arc>
|
|
<arc head="T7" head-magnet="0" kind="INPUT" tail="P5" tail-magnet="0"/>
|
|
<arc broken="true" head="wantP_false" head-magnet="0" kind="OUTPUT" tail="T7" tail-magnet="0">
|
|
<point x="23.462058" y="45.933899999999994"/>
|
|
<point x="101.721912" y="39.821160000000006"/>
|
|
</arc>
|
|
<arc head="P6" head-magnet="0" kind="OUTPUT" tail="T7" tail-magnet="0"/>
|
|
<arc broken="true" head="T8" head-magnet="0" kind="INPUT" tail="TurnP" tail-magnet="0">
|
|
<point x="82.557564" y="8.814144"/>
|
|
<point x="18.433902" y="48.537942"/>
|
|
</arc>
|
|
<arc head="T8" head-magnet="0" kind="INPUT" tail="P6" tail-magnet="0"/>
|
|
<arc broken="true" head="TurnP" head-magnet="0" kind="OUTPUT" tail="T8" tail-magnet="0">
|
|
<point x="20.462058" y="51.433907999999995"/>
|
|
<point x="82.35410399999999" y="11.67705"/>
|
|
</arc>
|
|
<arc head="P7" head-magnet="0" kind="OUTPUT" tail="T8" tail-magnet="0"/>
|
|
<arc broken="true" head="T91" head-magnet="0" kind="INPUT" tail="wantP_true" tail-magnet="0">
|
|
<point x="101.553204" y="29.477196"/>
|
|
<point x="18.433902" y="57.537942"/>
|
|
</arc>
|
|
<arc head="T91" head-magnet="0" kind="INPUT" tail="P7" tail-magnet="0"/>
|
|
<arc broken="true" head="wantP_true" head-magnet="0" kind="OUTPUT" tail="T91" tail-magnet="0">
|
|
<point x="20.462058" y="60.433907999999995"/>
|
|
<point x="101.33929800000001" y="27.18651"/>
|
|
</arc>
|
|
<arc head="P3" head-magnet="0" kind="OUTPUT" tail="T91" tail-magnet="0">
|
|
<point x="18.0" y="62.500002"/>
|
|
<point x="27.0" y="62.500002"/>
|
|
<point x="27.0" y="22.999998"/>
|
|
<point x="10.000001999999999" y="22.999998"/>
|
|
</arc>
|
|
<arc broken="true" head="T9" head-magnet="0" kind="INPUT" tail="wantP_false" tail-magnet="0">
|
|
<point x="101.721912" y="36.178842"/>
|
|
<point x="21.433902" y="60.037938"/>
|
|
</arc>
|
|
<arc head="T9" head-magnet="0" kind="INPUT" tail="P7" tail-magnet="0"/>
|
|
<arc broken="true" head="wantP_true" head-magnet="0" kind="OUTPUT" tail="T9" tail-magnet="0">
|
|
<point x="23.462058" y="62.933904"/>
|
|
<point x="101.721912" y="29.821158"/>
|
|
</arc>
|
|
<arc head="P3" head-magnet="0" kind="OUTPUT" tail="T9" tail-magnet="0">
|
|
<point x="18.0" y="62.500002"/>
|
|
<point x="27.0" y="62.500002"/>
|
|
<point x="27.0" y="22.999998"/>
|
|
<point x="10.000001999999999" y="22.999998"/>
|
|
</arc>
|
|
<arc head="T10" head-magnet="0" kind="INPUT" tail="P8" tail-magnet="0"/>
|
|
<arc head="P9" head-magnet="0" kind="OUTPUT" tail="T10" tail-magnet="0"/>
|
|
<arc broken="true" head="T111" head-magnet="0" kind="INPUT" tail="TurnP" tail-magnet="0">
|
|
<point x="81.651648" y="12.651647999999998"/>
|
|
<point x="8.433900000000001" y="75.537942"/>
|
|
</arc>
|
|
<arc head="T111" head-magnet="0" kind="INPUT" tail="P9" tail-magnet="0"/>
|
|
<arc broken="true" head="TurnQ" head-magnet="0" kind="OUTPUT" tail="T111" tail-magnet="0">
|
|
<point x="10.462056" y="78.433908"/>
|
|
<point x="81.88083" y="18.59931"/>
|
|
</arc>
|
|
<arc head="P10" head-magnet="0" kind="OUTPUT" tail="T111" tail-magnet="0"/>
|
|
<arc broken="true" head="T11" head-magnet="0" kind="INPUT" tail="TurnQ" tail-magnet="0">
|
|
<point x="75.44244" y="19.814148"/>
|
|
<point x="11.433900000000001" y="78.037938"/>
|
|
</arc>
|
|
<arc head="T11" head-magnet="0" kind="INPUT" tail="P9" tail-magnet="0"/>
|
|
<arc broken="true" head="TurnQ" head-magnet="0" kind="OUTPUT" tail="T11" tail-magnet="0">
|
|
<point x="13.462055999999999" y="80.933904"/>
|
|
<point x="75.55320599999999" y="22.4772"/>
|
|
</arc>
|
|
<arc head="P10" head-magnet="0" kind="OUTPUT" tail="T11" tail-magnet="0"/>
|
|
<arc broken="true" head="T121" head-magnet="0" kind="INPUT" tail="wantP_true" tail-magnet="0">
|
|
<point x="108.179994" y="29.987496"/>
|
|
<point x="8.433900000000001" y="84.537942"/>
|
|
</arc>
|
|
<arc head="T121" head-magnet="0" kind="INPUT" tail="P10" tail-magnet="0"/>
|
|
<arc broken="true" head="wantP_false" head-magnet="0" kind="OUTPUT" tail="T121" tail-magnet="0">
|
|
<point x="10.462056" y="87.433908"/>
|
|
<point x="108.179994" y="36.012504"/>
|
|
</arc>
|
|
<arc head="P1" head-magnet="0" kind="OUTPUT" tail="T121" tail-magnet="0">
|
|
<point x="7.999998000000001" y="90.0"/>
|
|
<point x="1.000002" y="90.0"/>
|
|
<point x="1.000002" y="6.0"/>
|
|
</arc>
|
|
<arc broken="true" head="T12" head-magnet="0" kind="INPUT" tail="wantP_false" tail-magnet="0">
|
|
<point x="101.382138" y="37.013310000000004"/>
|
|
<point x="11.433900000000001" y="87.037938"/>
|
|
</arc>
|
|
<arc head="T12" head-magnet="0" kind="INPUT" tail="P10" tail-magnet="0"/>
|
|
<arc broken="true" head="wantP_false" head-magnet="0" kind="OUTPUT" tail="T12" tail-magnet="0">
|
|
<point x="13.462055999999999" y="89.933904"/>
|
|
<point x="101.721912" y="39.821160000000006"/>
|
|
</arc>
|
|
<arc head="P1" head-magnet="0" kind="OUTPUT" tail="T12" tail-magnet="0">
|
|
<point x="7.999998000000001" y="90.0"/>
|
|
<point x="1.000002" y="90.0"/>
|
|
<point x="1.000002" y="6.0"/>
|
|
</arc>
|
|
<arc head="copy_T0" head-magnet="0" kind="INPUT" tail="Q1" tail-magnet="0">
|
|
<point x="46.5" y="2.5000020000000003"/>
|
|
</arc>
|
|
<arc head="Q1" head-magnet="0" kind="OUTPUT" tail="copy_T0" tail-magnet="0">
|
|
<point x="50.500002" y="6.0"/>
|
|
</arc>
|
|
<arc head="T13" head-magnet="0" kind="INPUT" tail="Q1" tail-magnet="0"/>
|
|
<arc head="Q2" head-magnet="0" kind="OUTPUT" tail="T13" tail-magnet="0"/>
|
|
<arc broken="true" head="T141" head-magnet="0" kind="INPUT" tail="wantQ_true" tail-magnet="0">
|
|
<point x="101.64589799999999" y="4.322946"/>
|
|
<point x="46.433904" y="17.53794"/>
|
|
</arc>
|
|
<arc head="T141" head-magnet="0" kind="INPUT" tail="Q2" tail-magnet="0"/>
|
|
<arc broken="true" head="wantQ_true" head-magnet="0" kind="OUTPUT" tail="T141" tail-magnet="0">
|
|
<point x="48.462059999999994" y="20.4339"/>
|
|
<point x="101.408154" y="7.077552"/>
|
|
</arc>
|
|
<arc head="Q3" head-magnet="0" kind="OUTPUT" tail="T141" tail-magnet="0"/>
|
|
<arc broken="true" head="T14" head-magnet="0" kind="INPUT" tail="wantQ_false" tail-magnet="0">
|
|
<point x="101.721912" y="16.178838"/>
|
|
<point x="49.433904" y="20.037942"/>
|
|
</arc>
|
|
<arc head="T14" head-magnet="0" kind="INPUT" tail="Q2" tail-magnet="0"/>
|
|
<arc broken="true" head="wantQ_true" head-magnet="0" kind="OUTPUT" tail="T14" tail-magnet="0">
|
|
<point x="51.462059999999994" y="22.933902"/>
|
|
<point x="102.03993" y="8.302278"/>
|
|
</arc>
|
|
<arc head="Q3" head-magnet="0" kind="OUTPUT" tail="T14" tail-magnet="0"/>
|
|
<arc broken="true" head="T15" head-magnet="0" kind="INPUT" tail="wantP_true" tail-magnet="0">
|
|
<point x="108.557568" y="26.814144"/>
|
|
<point x="52.433904" y="24.537942"/>
|
|
</arc>
|
|
<arc head="T15" head-magnet="0" kind="INPUT" tail="Q3" tail-magnet="0">
|
|
<point x="52.000002" y="24.0"/>
|
|
</arc>
|
|
<arc broken="true" head="wantP_true" head-magnet="0" kind="OUTPUT" tail="T15" tail-magnet="0">
|
|
<point x="54.462059999999994" y="27.433902"/>
|
|
<point x="108.591846" y="29.077554"/>
|
|
</arc>
|
|
<arc head="Q4" head-magnet="0" kind="OUTPUT" tail="T15" tail-magnet="0"/>
|
|
<arc broken="true" head="T16" head-magnet="0" kind="INPUT" tail="wantP_false" tail-magnet="0">
|
|
<point x="108.278088" y="39.821160000000006"/>
|
|
<point x="46.433904" y="35.537940000000006"/>
|
|
</arc>
|
|
<arc head="T16" head-magnet="0" kind="INPUT" tail="Q3" tail-magnet="0"/>
|
|
<arc broken="true" head="wantP_false" head-magnet="0" kind="OUTPUT" tail="T16" tail-magnet="0">
|
|
<point x="48.462059999999994" y="38.433899999999994"/>
|
|
<point x="108.689514" y="37.329179999999994"/>
|
|
</arc>
|
|
<arc head="Q8" head-magnet="0" kind="OUTPUT" tail="T16" tail-magnet="0"/>
|
|
<arc broken="true" head="T17" head-magnet="0" kind="INPUT" tail="TurnP" tail-magnet="0">
|
|
<point x="82.557564" y="8.814144"/>
|
|
<point x="56.43390600000001" y="32.537940000000006"/>
|
|
</arc>
|
|
<arc head="T17" head-magnet="0" kind="INPUT" tail="Q4" tail-magnet="0">
|
|
<point x="55.999998" y="31.999997999999998"/>
|
|
</arc>
|
|
<arc broken="true" head="TurnP" head-magnet="0" kind="OUTPUT" tail="T17" tail-magnet="0">
|
|
<point x="58.462062" y="35.433899999999994"/>
|
|
<point x="82.35410399999999" y="11.67705"/>
|
|
</arc>
|
|
<arc head="Q5" head-magnet="0" kind="OUTPUT" tail="T17" tail-magnet="0"/>
|
|
<arc broken="true" head="T18" head-magnet="0" kind="INPUT" tail="TurnQ" tail-magnet="0">
|
|
<point x="82.120188" y="23.080128"/>
|
|
<point x="52.433904" y="38.537940000000006"/>
|
|
</arc>
|
|
<arc head="T18" head-magnet="0" kind="INPUT" tail="Q4" tail-magnet="0"/>
|
|
<arc broken="true" head="TurnQ" head-magnet="0" kind="OUTPUT" tail="T18" tail-magnet="0">
|
|
<point x="54.462059999999994" y="41.433899999999994"/>
|
|
<point x="82.446798" y="19.5228"/>
|
|
</arc>
|
|
<arc head="Q3" head-magnet="0" kind="OUTPUT" tail="T18" tail-magnet="0">
|
|
<point x="52.000002" y="45.0"/>
|
|
<point x="40.999998" y="45.0"/>
|
|
<point x="40.999998" y="24.0"/>
|
|
</arc>
|
|
<arc broken="true" head="T191" head-magnet="0" kind="INPUT" tail="wantQ_true" tail-magnet="0">
|
|
<point x="108.0" y="8.25"/>
|
|
<point x="56.43390600000001" y="40.537944"/>
|
|
</arc>
|
|
<arc head="T191" head-magnet="0" kind="INPUT" tail="Q5" tail-magnet="0"/>
|
|
<arc broken="true" head="wantQ_false" head-magnet="0" kind="OUTPUT" tail="T191" tail-magnet="0">
|
|
<point x="58.462062" y="43.433904"/>
|
|
<point x="108.163734" y="15.986718"/>
|
|
</arc>
|
|
<arc head="Q6" head-magnet="0" kind="OUTPUT" tail="T191" tail-magnet="0"/>
|
|
<arc broken="true" head="T19" head-magnet="0" kind="INPUT" tail="wantQ_false" tail-magnet="0">
|
|
<point x="101.408154" y="16.922448"/>
|
|
<point x="59.43390600000001" y="43.037940000000006"/>
|
|
</arc>
|
|
<arc head="T19" head-magnet="0" kind="INPUT" tail="Q5" tail-magnet="0"/>
|
|
<arc broken="true" head="wantQ_false" head-magnet="0" kind="OUTPUT" tail="T19" tail-magnet="0">
|
|
<point x="61.462062" y="45.933899999999994"/>
|
|
<point x="101.408154" y="19.077552"/>
|
|
</arc>
|
|
<arc head="Q6" head-magnet="0" kind="OUTPUT" tail="T19" tail-magnet="0"/>
|
|
<arc broken="true" head="T20" head-magnet="0" kind="INPUT" tail="TurnQ" tail-magnet="0">
|
|
<point x="82.120188" y="23.080128"/>
|
|
<point x="56.43390600000001" y="48.537942"/>
|
|
</arc>
|
|
<arc head="T20" head-magnet="0" kind="INPUT" tail="Q6" tail-magnet="0"/>
|
|
<arc broken="true" head="TurnQ" head-magnet="0" kind="OUTPUT" tail="T20" tail-magnet="0">
|
|
<point x="58.462062" y="51.433907999999995"/>
|
|
<point x="82.446798" y="19.5228"/>
|
|
</arc>
|
|
<arc head="Q7" head-magnet="0" kind="OUTPUT" tail="T20" tail-magnet="0"/>
|
|
<arc broken="true" head="T211" head-magnet="0" kind="INPUT" tail="wantQ_true" tail-magnet="0">
|
|
<point x="101.64589799999999" y="4.322946"/>
|
|
<point x="56.43390600000001" y="57.537942"/>
|
|
</arc>
|
|
<arc head="T211" head-magnet="0" kind="INPUT" tail="Q7" tail-magnet="0"/>
|
|
<arc broken="true" head="wantQ_true" head-magnet="0" kind="OUTPUT" tail="T211" tail-magnet="0">
|
|
<point x="58.462062" y="60.433907999999995"/>
|
|
<point x="101.408154" y="7.077552"/>
|
|
</arc>
|
|
<arc head="Q3" head-magnet="0" kind="OUTPUT" tail="T211" tail-magnet="0">
|
|
<point x="55.999998" y="62.500002"/>
|
|
<point x="64.999998" y="62.500002"/>
|
|
<point x="64.999998" y="22.999998"/>
|
|
<point x="48.0" y="22.999998"/>
|
|
</arc>
|
|
<arc broken="true" head="T21" head-magnet="0" kind="INPUT" tail="wantQ_false" tail-magnet="0">
|
|
<point x="101.721912" y="16.178838"/>
|
|
<point x="59.43390600000001" y="60.037938"/>
|
|
</arc>
|
|
<arc head="T21" head-magnet="0" kind="INPUT" tail="Q7" tail-magnet="0"/>
|
|
<arc broken="true" head="wantQ_true" head-magnet="0" kind="OUTPUT" tail="T21" tail-magnet="0">
|
|
<point x="61.462062" y="62.933904"/>
|
|
<point x="102.03993" y="8.302278"/>
|
|
</arc>
|
|
<arc head="Q3" head-magnet="0" kind="OUTPUT" tail="T21" tail-magnet="0">
|
|
<point x="55.999998" y="62.500002"/>
|
|
<point x="64.999998" y="62.500002"/>
|
|
<point x="64.999998" y="22.999998"/>
|
|
<point x="48.0" y="22.999998"/>
|
|
</arc>
|
|
<arc head="T22" head-magnet="0" kind="INPUT" tail="Q8" tail-magnet="0"/>
|
|
<arc head="Q9" head-magnet="0" kind="OUTPUT" tail="T22" tail-magnet="0"/>
|
|
<arc broken="true" head="T231" head-magnet="0" kind="INPUT" tail="TurnP" tail-magnet="0">
|
|
<point x="75.87980999999999" y="12.080124000000001"/>
|
|
<point x="46.433904" y="75.537942"/>
|
|
</arc>
|
|
<arc head="T231" head-magnet="0" kind="INPUT" tail="Q9" tail-magnet="0"/>
|
|
<arc broken="true" head="TurnP" head-magnet="0" kind="OUTPUT" tail="T231" tail-magnet="0">
|
|
<point x="48.462059999999994" y="78.433908"/>
|
|
<point x="75.744084" y="8.139479999999999"/>
|
|
</arc>
|
|
<arc head="Q10" head-magnet="0" kind="OUTPUT" tail="T231" tail-magnet="0"/>
|
|
<arc broken="true" head="T23" head-magnet="0" kind="INPUT" tail="TurnQ" tail-magnet="0">
|
|
<point x="76.119174" y="18.59931"/>
|
|
<point x="49.433904" y="78.037938"/>
|
|
</arc>
|
|
<arc head="T23" head-magnet="0" kind="INPUT" tail="Q9" tail-magnet="0"/>
|
|
<arc broken="true" head="TurnP" head-magnet="0" kind="OUTPUT" tail="T23" tail-magnet="0">
|
|
<point x="51.462059999999994" y="80.933904"/>
|
|
<point x="76.34835" y="12.651647999999998"/>
|
|
</arc>
|
|
<arc head="Q10" head-magnet="0" kind="OUTPUT" tail="T23" tail-magnet="0"/>
|
|
<arc broken="true" head="T241" head-magnet="0" kind="INPUT" tail="wantQ_true" tail-magnet="0">
|
|
<point x="108.0" y="8.25"/>
|
|
<point x="46.433904" y="84.537942"/>
|
|
</arc>
|
|
<arc head="T241" head-magnet="0" kind="INPUT" tail="Q10" tail-magnet="0"/>
|
|
<arc broken="true" head="wantQ_false" head-magnet="0" kind="OUTPUT" tail="T241" tail-magnet="0">
|
|
<point x="48.462059999999994" y="87.433908"/>
|
|
<point x="108.163734" y="15.986718"/>
|
|
</arc>
|
|
<arc head="Q1" head-magnet="0" kind="OUTPUT" tail="T241" tail-magnet="0">
|
|
<point x="46.000002" y="90.0"/>
|
|
<point x="39.0" y="90.0"/>
|
|
<point x="39.0" y="6.0"/>
|
|
</arc>
|
|
<arc broken="true" head="T24" head-magnet="0" kind="INPUT" tail="wantQ_false" tail-magnet="0">
|
|
<point x="101.408154" y="16.922448"/>
|
|
<point x="49.433904" y="87.037938"/>
|
|
</arc>
|
|
<arc head="T24" head-magnet="0" kind="INPUT" tail="Q10" tail-magnet="0"/>
|
|
<arc broken="true" head="wantQ_false" head-magnet="0" kind="OUTPUT" tail="T24" tail-magnet="0">
|
|
<point x="51.462059999999994" y="89.933904"/>
|
|
<point x="101.408154" y="19.077552"/>
|
|
</arc>
|
|
<arc head="Q1" head-magnet="0" kind="OUTPUT" tail="T24" tail-magnet="0">
|
|
<point x="46.000002" y="90.0"/>
|
|
<point x="39.0" y="90.0"/>
|
|
<point x="39.0" y="6.0"/>
|
|
</arc>
|
|
</edges>
|
|
</gspn>
|
|
</project>
|