mirror of
https://github.com/20kaushik02/tcp-petri-net.git
synced 2025-12-06 06:54:07 +00:00
GRACEFUL TEARDOWN SUCCESS!! @#$!^%
This commit is contained in:
melaniehendricks
parent
9e868b528d
commit
786bef11f5
@ -2,64 +2,66 @@
|
||||
<!-- This project file has been saved by the New GreatSPN Editor, v.100 --><project name="NSF TCP copy 2" version="121">
|
||||
<gspn name="PetriNet">
|
||||
<nodes>
|
||||
<place label-y="-2.0" magnets="NSEW_SQUARE_POINTS" marking="1" name="client" x="9.0" y="5.0"/>
|
||||
<place label-y="-2.0" magnets="FOUR_PER_SIDE" marking="1" name="idle" x="16.0" y="5.0"/>
|
||||
<place label-y="-2.0" magnets="NSEW_SQUARE_POINTS" marking="1" name="ackonce" x="23.0" y="5.0"/>
|
||||
<place label-y="-2.0" magnets="NSEW_SQUARE_POINTS" marking="1" name="ackonce_" x="34.0" y="5.0"/>
|
||||
<place label-y="-2.0" magnets="NSEW_SQUARE_POINTS" marking="1" name="idle_" x="42.0" y="5.0"/>
|
||||
<place label-y="-2.0" magnets="FOUR_PER_SIDE" name="client_" x="49.0" y="5.0"/>
|
||||
<place label-y="-2.0" magnets="NSEW_SQUARE_POINTS" name="syn2" x="4.0" y="10.0"/>
|
||||
<place label-y="-2.0" magnets="FIVE_PER_SIDE" name="myisn" x="4.0" y="15.0"/>
|
||||
<place label-y="-2.0" magnets="FOUR_PER_SIDE" name="theirisn" x="4.0" y="21.0"/>
|
||||
<place label-y="-2.0" magnets="NSEW_SQUARE_POINTS" name="acksent" x="4.0" y="27.0"/>
|
||||
<place label-x="-2.5" label-y="0.0" magnets="FOUR_PER_SIDE" name="ackrcvd" x="4.0" y="34.0"/>
|
||||
<place magnets="FIVE_PER_SIDE" name="estab" x="4.0" y="40.0"/>
|
||||
<place label-x="1.0" magnets="NSEW_SQUARE_POINTS" name="estab_" x="54.0" y="40.0"/>
|
||||
<place label-y="-2.0" magnets="NSEW_SQUARE_POINTS" name="syn2_" x="54.0" y="10.0"/>
|
||||
<place label-y="-2.0" magnets="NSEW_SQUARE_POINTS" name="myisn_" x="54.0" y="15.0"/>
|
||||
<place label-y="-2.0" magnets="NSEW_SQUARE_POINTS" name="theirisn_" x="54.0" y="21.0"/>
|
||||
<place label-y="-2.0" magnets="NSEW_SQUARE_POINTS" name="acksent_" x="54.0" y="27.0"/>
|
||||
<place label-x="3.5" label-y="0.0" magnets="NSEW_SQUARE_POINTS" name="ackrcvd_" x="54.0" y="34.0"/>
|
||||
<transition delay="I[1.0]" label-y="2.0" magnets="FOUR_PER_SIDE" name="SYN_" type="GEN" x="39.55" y="9.0"/>
|
||||
<transition delay="I[1.0]" label-x="0.5" label-y="2.5" magnets="THREE_PER_SIDE" name="SYNACK_" type="GEN" x="39.55" y="18.0"/>
|
||||
<transition delay="I[1.0]" label-x="-2.0" label-y="-0.5" magnets="THREE_PER_SIDE" name="ACK_" type="GEN" x="39.55" y="27.0"/>
|
||||
<transition delay="I[1.0]" label-x="0.5" label-y="2.0" magnets="FIVE_PER_SIDE" name="CONNECT_" type="GEN" x="39.55" y="37.0"/>
|
||||
<transition delay="I[1.0]" label-y="2.5" magnets="FOUR_PER_SIDE" name="SYNACK" type="GEN" x="19.55" y="18.0"/>
|
||||
<transition delay="I[1.0]" label-x="2.0" label-y="-0.5" magnets="FIVE_PER_SIDE" name="ACK" type="GEN" x="19.55" y="27.0"/>
|
||||
<transition delay="I[1.0]" label-y="2.0" magnets="FIVE_PER_SIDE" name="CONNECT" type="GEN" x="19.55" y="37.0"/>
|
||||
<transition delay="I[1.0]" label-y="2.0" magnets="FOUR_PER_SIDE" name="SYN" type="GEN" x="19.55" y="9.0"/>
|
||||
<place magnets="FIVE_PER_SIDE" name="fin_wait1" x="4.0" y="51.0"/>
|
||||
<place magnets="NSEW_SQUARE_POINTS" name="finrcvd_" x="54.0" y="45.0"/>
|
||||
<transition delay="I[1.0]" label-x="2.5" label-y="-1.0" magnets="FOUR_PER_SIDE" name="FIN" type="GEN" x="19.55" y="45.0"/>
|
||||
<transition delay="I[1.0]" label-x="-2.0" label-y="1.0" magnets="FOUR_PER_SIDE" name="FIN_" type="GEN" x="39.55" y="45.0"/>
|
||||
<place magnets="NSEW_SQUARE_POINTS" name="finrcvd" x="4.0" y="45.0"/>
|
||||
<place magnets="NSEW_SQUARE_POINTS" name="fin_wait1_" x="54.0" y="51.0"/>
|
||||
<place magnets="NSEW_SQUARE_POINTS" name="ackfrcvd" x="4.0" y="57.0"/>
|
||||
<place magnets="NSEW_SQUARE_POINTS" name="timewait" x="4.0" y="82.0"/>
|
||||
<place magnets="NSEW_SQUARE_POINTS" name="ackfrcvd_" x="54.0" y="57.0"/>
|
||||
<place name="timewait_" x="54.0" y="82.0"/>
|
||||
<place magnets="NSEW_SQUARE_POINTS" name="fin_wait2" x="4.0" y="72.0"/>
|
||||
<place magnets="NSEW_SQUARE_POINTS" name="fin_wait2_" x="54.0" y="72.0"/>
|
||||
<place magnets="NSEW_SQUARE_POINTS" name="closewait_" x="54.0" y="89.0"/>
|
||||
<place magnets="FIVE_PER_SIDE" name="closewait" x="4.0" y="89.0"/>
|
||||
<place magnets="NSEW_SQUARE_POINTS" name="lastack_" x="54.0" y="94.0"/>
|
||||
<place magnets="NSEW_SQUARE_POINTS" name="lastack" x="4.0" y="94.0"/>
|
||||
<transition delay="I[1.0]" label-x="2.5" magnets="FOUR_PER_SIDE" name="ACKF2c" type="GEN" x="19.55" y="85.0"/>
|
||||
<transition delay="I[1.0]" label-x="-2.5" magnets="FOUR_PER_SIDE" name="ACKF2c_" type="GEN" x="39.55" y="85.0"/>
|
||||
<transition delay="I[1.0]" label-x="2.5" label-y="-1.0" magnets="FOUR_PER_SIDE" name="FIN2" type="GEN" x="19.55" y="75.0"/>
|
||||
<transition delay="I[1.0]" label-x="2.5" label-y="-1.0" magnets="FOUR_PER_SIDE" name="FIN2_" type="GEN" x="39.55" y="75.0"/>
|
||||
<place magnets="FIVE_PER_SIDE" name="closing" x="4.0" y="77.0"/>
|
||||
<place magnets="FIVE_PER_SIDE" name="closing_" x="54.0" y="77.0"/>
|
||||
<place magnets="NSEW_SQUARE_POINTS" name="fin2rcvd" x="4.0" y="62.0"/>
|
||||
<place magnets="NSEW_SQUARE_POINTS" name="fin2rcvd_" x="54.0" y="62.0"/>
|
||||
<place magnets="NSEW_SQUARE_POINTS" name="ackf2rcvd" x="4.0" y="67.0"/>
|
||||
<place magnets="NSEW_SQUARE_POINTS" name="ackf2rcvd_" x="54.0" y="67.0"/>
|
||||
<transition delay="I[1.0]" label-x="2.0" label-y="-0.5" magnets="FOUR_PER_SIDE" name="ACKF2b" type="GEN" x="19.55" y="62.0"/>
|
||||
<transition delay="I[1.0]" label-x="4.0" label-y="-0.5" magnets="FOUR_PER_SIDE" name="ACKF2b_" type="GEN" x="39.55" y="62.0"/>
|
||||
<transition delay="I[1.0]" label-x="3.0" label-y="-0.5" magnets="FOUR_PER_SIDE" name="ACKF2a" type="GEN" x="19.55" y="56.0"/>
|
||||
<transition delay="I[1.0]" label-x="3.0" label-y="-0.5" magnets="FOUR_PER_SIDE" name="ACKF2a_" type="GEN" x="39.55" y="56.0"/>
|
||||
<transition delay="I[1.0]" label-x="3.0" label-y="-0.5" magnets="FOUR_PER_SIDE" name="ACKF" type="GEN" x="19.55" y="50.0"/>
|
||||
<transition delay="I[1.0]" label-x="3.0" label-y="-0.5" magnets="FOUR_PER_SIDE" name="ACKF_" type="GEN" x="39.55" y="50.0"/>
|
||||
<place label-y="-2.0" magnets="NSEW_SQUARE_POINTS" marking="1" name="client" x="9.0" y="14.0"/>
|
||||
<place label-y="-2.0" magnets="FOUR_PER_SIDE" marking="1" name="idle" x="16.0" y="14.0"/>
|
||||
<place label-y="-2.0" magnets="NSEW_SQUARE_POINTS" marking="1" name="ackonce" x="23.0" y="14.0"/>
|
||||
<place label-y="-2.0" magnets="NSEW_SQUARE_POINTS" marking="1" name="ackonce_" x="34.0" y="14.0"/>
|
||||
<place label-y="-2.0" magnets="NSEW_SQUARE_POINTS" marking="1" name="idle_" x="42.0" y="14.0"/>
|
||||
<place label-y="-2.0" magnets="FOUR_PER_SIDE" name="client_" x="49.0" y="14.0"/>
|
||||
<place label-y="-2.0" magnets="NSEW_SQUARE_POINTS" name="syn2" x="4.0" y="19.0"/>
|
||||
<place label-y="-2.0" magnets="FIVE_PER_SIDE" name="myisn" x="4.0" y="24.0"/>
|
||||
<place label-y="-2.0" magnets="FOUR_PER_SIDE" name="theirisn" x="4.0" y="30.0"/>
|
||||
<place label-y="-2.0" magnets="NSEW_SQUARE_POINTS" name="acksent" x="4.0" y="36.0"/>
|
||||
<place label-x="-2.5" label-y="0.0" magnets="FOUR_PER_SIDE" name="ackrcvd" x="4.0" y="43.0"/>
|
||||
<place magnets="FIVE_PER_SIDE" name="estab" x="4.0" y="49.0"/>
|
||||
<place label-x="1.0" magnets="NSEW_SQUARE_POINTS" name="estab_" x="54.0" y="49.0"/>
|
||||
<place label-y="-2.0" magnets="NSEW_SQUARE_POINTS" name="syn2_" x="54.0" y="19.0"/>
|
||||
<place label-y="-2.0" magnets="NSEW_SQUARE_POINTS" name="myisn_" x="54.0" y="24.0"/>
|
||||
<place label-y="-2.0" magnets="NSEW_SQUARE_POINTS" name="theirisn_" x="54.0" y="30.0"/>
|
||||
<place label-y="-2.0" magnets="NSEW_SQUARE_POINTS" name="acksent_" x="54.0" y="36.0"/>
|
||||
<place label-x="3.5" label-y="0.0" magnets="NSEW_SQUARE_POINTS" name="ackrcvd_" x="54.0" y="43.0"/>
|
||||
<transition delay="I[1.0]" label-y="2.0" magnets="FOUR_PER_SIDE" name="SYN_" type="GEN" x="39.55" y="18.0"/>
|
||||
<transition delay="I[1.0]" label-x="0.5" label-y="2.5" magnets="THREE_PER_SIDE" name="SYNACK_" type="GEN" x="39.55" y="27.0"/>
|
||||
<transition delay="I[1.0]" label-x="-2.0" label-y="-0.5" magnets="THREE_PER_SIDE" name="ACK_" type="GEN" x="39.55" y="36.0"/>
|
||||
<transition delay="I[1.0]" label-x="0.5" label-y="2.0" magnets="FIVE_PER_SIDE" name="CONNECT_" type="GEN" x="39.55" y="46.0"/>
|
||||
<transition delay="I[1.0]" label-y="2.5" magnets="FOUR_PER_SIDE" name="SYNACK" type="GEN" x="19.55" y="27.0"/>
|
||||
<transition delay="I[1.0]" label-x="2.0" label-y="-0.5" magnets="FIVE_PER_SIDE" name="ACK" type="GEN" x="19.55" y="36.0"/>
|
||||
<transition delay="I[1.0]" label-y="2.0" magnets="FIVE_PER_SIDE" name="CONNECT" type="GEN" x="19.55" y="46.0"/>
|
||||
<transition delay="I[1.0]" label-y="2.0" magnets="FOUR_PER_SIDE" name="SYN" type="GEN" x="19.55" y="18.0"/>
|
||||
<place magnets="FIVE_PER_SIDE" name="fin_wait1" x="4.0" y="60.0"/>
|
||||
<place magnets="NSEW_SQUARE_POINTS" name="finrcvd_" x="54.0" y="54.0"/>
|
||||
<transition delay="I[1.0]" label-x="2.5" label-y="-1.0" magnets="FOUR_PER_SIDE" name="FIN" type="GEN" x="19.55" y="54.0"/>
|
||||
<transition delay="I[1.0]" label-x="-2.0" label-y="1.0" magnets="FOUR_PER_SIDE" name="FIN_" type="GEN" x="39.55" y="54.0"/>
|
||||
<place magnets="NSEW_SQUARE_POINTS" name="finrcvd" x="4.0" y="54.0"/>
|
||||
<place magnets="NSEW_SQUARE_POINTS" name="fin_wait1_" x="54.0" y="60.0"/>
|
||||
<place magnets="NSEW_SQUARE_POINTS" name="ackfrcvd" x="4.0" y="66.0"/>
|
||||
<place magnets="NSEW_SQUARE_POINTS" name="timewait" x="4.0" y="88.0"/>
|
||||
<place magnets="NSEW_SQUARE_POINTS" name="ackfrcvd_" x="54.0" y="66.0"/>
|
||||
<place magnets="FIVE_PER_SIDE" name="timewait_" x="54.0" y="88.0"/>
|
||||
<place magnets="NSEW_SQUARE_POINTS" name="closewait_" x="54.0" y="96.0"/>
|
||||
<place magnets="FIVE_PER_SIDE" name="closewait" x="4.0" y="96.0"/>
|
||||
<place magnets="NSEW_SQUARE_POINTS" name="lastack_" x="54.0" y="103.0"/>
|
||||
<place magnets="NSEW_SQUARE_POINTS" name="lastack" x="4.0" y="103.0"/>
|
||||
<transition delay="I[1.0]" label-x="2.5" label-y="-1.0" magnets="FOUR_PER_SIDE" name="FIN2" type="GEN" x="19.55" y="84.0"/>
|
||||
<transition delay="I[1.0]" label-x="-2.0" label-y="-0.5" magnets="FOUR_PER_SIDE" name="FIN2_" type="GEN" x="39.55" y="84.0"/>
|
||||
<place magnets="FIVE_PER_SIDE" name="closing" x="4.0" y="79.0"/>
|
||||
<place magnets="FIVE_PER_SIDE" name="closing_" x="54.0" y="79.0"/>
|
||||
<place magnets="NSEW_SQUARE_POINTS" name="fin2rcvd" x="4.0" y="71.0"/>
|
||||
<place magnets="NSEW_SQUARE_POINTS" name="fin2rcvd_" x="54.0" y="71.0"/>
|
||||
<transition delay="I[1.0]" label-x="2.0" label-y="-0.5" magnets="FOUR_PER_SIDE" name="ACKF2b" type="GEN" x="19.55" y="71.0"/>
|
||||
<transition delay="I[1.0]" label-x="-3.0" label-y="-0.5" magnets="FOUR_PER_SIDE" name="ACKF2b_" type="GEN" x="39.55" y="71.0"/>
|
||||
<transition delay="I[1.0]" label-x="3.0" label-y="-0.5" magnets="FOUR_PER_SIDE" name="ACKF2a" type="GEN" x="19.55" y="65.0"/>
|
||||
<transition delay="I[1.0]" label-x="-3.0" label-y="-0.5" magnets="FOUR_PER_SIDE" name="ACKF2a_" type="GEN" x="39.55" y="65.0"/>
|
||||
<transition delay="I[1.0]" label-x="3.0" label-y="-0.5" magnets="FOUR_PER_SIDE" name="ACKF" type="GEN" x="19.55" y="59.0"/>
|
||||
<transition delay="I[1.0]" label-x="-2.5" label-y="-0.5" magnets="FOUR_PER_SIDE" name="ACKF_" type="GEN" x="39.55" y="59.0"/>
|
||||
<transition delay="I[1.0]" label-x="2.5" magnets="FOUR_PER_SIDE" name="END1" type="GEN" x="25.55" y="103.0"/>
|
||||
<transition delay="I[1.0]" label-x="2.5" magnets="FOUR_PER_SIDE" name="END1_" type="GEN" x="33.55" y="103.0"/>
|
||||
<place label-y="-2.0" magnets="NSEW_SQUARE_POINTS" name="closed" x="27.0" y="7.0"/>
|
||||
<place label-y="-2.0" magnets="NSEW_SQUARE_POINTS" name="closed_" x="30.0" y="7.0"/>
|
||||
<transition delay="I[1.0]" label-x="2.5" magnets="FOUR_PER_SIDE" name="END2" type="GEN" x="24.55" y="95.0"/>
|
||||
<transition delay="I[1.0]" label-x="2.5" magnets="FOUR_PER_SIDE" name="END2_" type="GEN" x="34.55" y="95.0"/>
|
||||
<transition delay="I[1.0]" label-y="2.0" magnets="FOUR_PER_SIDE" name="OPEN" type="GEN" x="16.55" y="7.0"/>
|
||||
<transition delay="I[1.0]" label-y="2.0" magnets="FOUR_PER_SIDE" name="OPEN_" type="GEN" x="43.55" y="7.0"/>
|
||||
</nodes>
|
||||
<edges>
|
||||
<arc head="ACK" head-magnet="4" kind="INPUT" tail="ackonce"/>
|
||||
@ -69,7 +71,7 @@
|
||||
<arc head="SYN" head-magnet="15" kind="INPUT" tail="client" tail-magnet="2"/>
|
||||
<arc head="SYNACK" head-magnet="0" kind="INPUT" tail="syn2"/>
|
||||
<arc head="syn2" kind="OUTPUT" mult-k="0.7528320312500001" tail="SYN_" tail-magnet="15">
|
||||
<point x="19.0" y="13.0"/>
|
||||
<point x="19.0" y="22.0"/>
|
||||
</arc>
|
||||
<arc head="myisn" kind="OUTPUT" tail="SYN" tail-magnet="8"/>
|
||||
<arc head="SYNACK" kind="INPUT" tail="myisn"/>
|
||||
@ -81,14 +83,14 @@
|
||||
<arc head="ACK" kind="INPUT" tail="theirisn" tail-magnet="1"/>
|
||||
<arc head="theirisn" head-magnet="2" kind="OUTPUT" tail="ACK" tail-magnet="18"/>
|
||||
<arc head="theirisn" head-magnet="11" kind="OUTPUT" mult-k="0.7139648437500001" tail="SYN_" tail-magnet="8">
|
||||
<point x="15.408825195312499" y="18.0029296875"/>
|
||||
<point x="15.408825195312499" y="27.0029296875"/>
|
||||
</arc>
|
||||
<arc head="theirisn" head-magnet="0" kind="OUTPUT" tail="SYNACK_"/>
|
||||
<arc head="ackrcvd_" kind="OUTPUT" mult-k="1.1723632812499996" tail="SYNACK">
|
||||
<point x="36.5" y="30.0"/>
|
||||
<point x="36.5" y="39.0"/>
|
||||
</arc>
|
||||
<arc head="acksent" kind="OUTPUT" mult-k="1.4465820312499997" tail="SYNACK" tail-magnet="10">
|
||||
<point x="18.5883681640625" y="20.79609375"/>
|
||||
<point x="18.5883681640625" y="29.79609375"/>
|
||||
</arc>
|
||||
<arc head="theirisn_" head-magnet="4" kind="OUTPUT" tail="SYNACK"/>
|
||||
<arc head="acksent" kind="OUTPUT" tail="ACK" tail-magnet="19"/>
|
||||
@ -106,16 +108,16 @@
|
||||
<arc head="ACK_" head-magnet="4" kind="INPUT" tail="theirisn_" tail-magnet="2"/>
|
||||
<arc head="myisn_" kind="OUTPUT" tail="ACK_"/>
|
||||
<arc head="ACK_" head-magnet="0" kind="INPUT" mult-k="1.23779296875" tail="myisn_" tail-magnet="4">
|
||||
<point x="49.1533203125" y="20.154296875"/>
|
||||
<point x="49.1533203125" y="29.154296875"/>
|
||||
</arc>
|
||||
<arc head="myisn_" head-magnet="5" kind="OUTPUT" tail="SYNACK_"/>
|
||||
<arc head="theirisn_" head-magnet="5" kind="OUTPUT" tail="SYNACK_"/>
|
||||
<arc head="myisn_" head-magnet="6" kind="OUTPUT" tail="SYN_" tail-magnet="11"/>
|
||||
<arc head="SYNACK_" head-magnet="3" kind="INPUT" mult-k="0.52978515625" tail="syn2_" tail-magnet="1">
|
||||
<point x="41.30672230460764" y="18.118563124920144"/>
|
||||
<point x="41.30672230460764" y="27.118563124920144"/>
|
||||
</arc>
|
||||
<arc head="SYN_" head-magnet="0" kind="INPUT" mult-k="1.46240234375" tail="idle_">
|
||||
<point x="42.0" y="6.0"/>
|
||||
<point x="42.0" y="15.0"/>
|
||||
</arc>
|
||||
<arc head="SYNACK_" kind="INPUT" tail="idle_"/>
|
||||
<arc head="SYN_" head-magnet="4" kind="INPUT" tail="client_"/>
|
||||
@ -123,28 +125,28 @@
|
||||
<arc head="SYN" head-magnet="0" kind="INPUT" tail="idle"/>
|
||||
<arc head="SYN_" head-magnet="7" kind="INPUT" tail="syn2_"/>
|
||||
<arc head="client_" head-magnet="8" kind="OUTPUT" mult-k="0.7870117187500001" tail="SYN">
|
||||
<point x="35.5" y="0.0"/>
|
||||
<point x="35.5" y="9.0"/>
|
||||
</arc>
|
||||
<arc head="syn2_" head-magnet="3" kind="OUTPUT" mult-k="1.29873046875" tail="SYN" tail-magnet="7">
|
||||
<point x="35.0" y="13.5"/>
|
||||
<point x="54.28964195971005" y="11.707135384039947"/>
|
||||
<point x="35.0" y="22.5"/>
|
||||
<point x="54.28964195971005" y="20.707135384039947"/>
|
||||
</arc>
|
||||
<arc head="finrcvd_" kind="OUTPUT" mult-k="3.0999023437500006" tail="FIN" tail-magnet="5">
|
||||
<point x="30.715747070312503" y="43.51240234375"/>
|
||||
<point x="35.0" y="43.0"/>
|
||||
<point x="37.5" y="43.0"/>
|
||||
<point x="30.715747070312503" y="52.51240234375"/>
|
||||
<point x="35.0" y="52.0"/>
|
||||
<point x="37.5" y="52.0"/>
|
||||
</arc>
|
||||
<arc head="finrcvd" kind="OUTPUT" mult-k="1.6958007812499996" tail="FIN_" tail-magnet="14">
|
||||
<point x="29.1588232421875" y="44.3053125"/>
|
||||
<point x="22.0" y="43.0"/>
|
||||
<point x="29.1588232421875" y="53.3053125"/>
|
||||
<point x="22.0" y="52.0"/>
|
||||
</arc>
|
||||
<arc head="fin_wait1" head-magnet="16" kind="OUTPUT" mult-k="1.4465820312499997" tail="FIN" tail-magnet="15">
|
||||
<point x="17.0" y="46.5"/>
|
||||
<point x="17.0" y="55.5"/>
|
||||
</arc>
|
||||
<arc head="fin_wait1_" head-magnet="6" kind="OUTPUT" tail="FIN_" tail-magnet="6"/>
|
||||
<arc head="theirisn_" head-magnet="3" kind="OUTPUT" tail="ACK_" tail-magnet="2"/>
|
||||
<arc head="ackrcvd" head-magnet="14" kind="OUTPUT" mult-k="1.17373046875" tail="SYNACK_" tail-magnet="11">
|
||||
<point x="21.5" y="31.0"/>
|
||||
<point x="21.5" y="40.0"/>
|
||||
</arc>
|
||||
<arc head="CONNECT" head-magnet="17" kind="INPUT" tail="acksent" tail-magnet="1"/>
|
||||
<arc head="CONNECT" head-magnet="15" kind="INPUT" tail="theirisn" tail-magnet="4"/>
|
||||
@ -153,39 +155,30 @@
|
||||
<arc head="CONNECT_" head-magnet="7" kind="INPUT" tail="acksent_" tail-magnet="3"/>
|
||||
<arc head="FIN2" head-magnet="15" kind="INPUT" tail="closewait" tail-magnet="18"/>
|
||||
<arc head="FIN2_" head-magnet="7" kind="INPUT" tail="closewait_" tail-magnet="5"/>
|
||||
<arc head="fin_wait2_" head-magnet="5" kind="OUTPUT" tail="FIN2" tail-magnet="6"/>
|
||||
<arc head="fin_wait2" head-magnet="1" kind="OUTPUT" tail="FIN2_" tail-magnet="8"/>
|
||||
<arc head="ACKF2c" head-magnet="13" kind="INPUT" tail="fin_wait2" tail-magnet="1"/>
|
||||
<arc head="ACKF2c_" head-magnet="7" kind="INPUT" tail="fin_wait2_" tail-magnet="2"/>
|
||||
<arc head="lastack_" head-magnet="5" kind="OUTPUT" tail="FIN2_" tail-magnet="10"/>
|
||||
<arc head="lastack" kind="OUTPUT" tail="FIN2" tail-magnet="9"/>
|
||||
<arc head="lastack_" head-magnet="4" kind="OUTPUT" tail="ACKF2c" tail-magnet="11"/>
|
||||
<arc head="lastack" head-magnet="0" kind="OUTPUT" tail="ACKF2c_" tail-magnet="15"/>
|
||||
<arc head="FIN2_" head-magnet="4" kind="INPUT" tail="ackfrcvd_" tail-magnet="3"/>
|
||||
<arc head="FIN2" head-magnet="12" kind="INPUT" tail="ackfrcvd" tail-magnet="1"/>
|
||||
<arc head="FIN" head-magnet="12" kind="INPUT" tail="estab" tail-magnet="0"/>
|
||||
<arc head="FIN_" head-magnet="2" kind="INPUT" tail="estab_" tail-magnet="3"/>
|
||||
<arc head="timewait_" kind="OUTPUT" tail="ACKF2c_" tail-magnet="5"/>
|
||||
<arc head="FIN_" head-magnet="4" kind="INPUT" mult-k="1.5290039062499998" tail="estab_" tail-magnet="3">
|
||||
<point x="55.0" y="50.0"/>
|
||||
</arc>
|
||||
<arc head="closewait_" kind="OUTPUT" tail="FIN2" tail-magnet="11"/>
|
||||
<arc head="closewait" head-magnet="0" kind="OUTPUT" tail="FIN2_" tail-magnet="8"/>
|
||||
<arc head="fin_wait1" head-magnet="0" kind="OUTPUT" tail="FIN2_" tail-magnet="0"/>
|
||||
<arc head="ACKF2a" head-magnet="14" kind="INPUT" tail="fin_wait1" tail-magnet="2"/>
|
||||
<arc head="closing" head-magnet="19" kind="OUTPUT" tail="ACKF2a" tail-magnet="15"/>
|
||||
<arc head="ACKF2a_" head-magnet="5" kind="INPUT" tail="fin_wait1_" tail-magnet="3"/>
|
||||
<arc head="closing_" head-magnet="13" kind="OUTPUT" tail="ACKF2a_" tail-magnet="11"/>
|
||||
<arc head="ACKF2b_" head-magnet="3" kind="INPUT" tail="fin_wait1_" tail-magnet="2"/>
|
||||
<arc head="ACKF2b" kind="INPUT" tail="fin_wait1" tail-magnet="4"/>
|
||||
<arc head="ACKF2b" head-magnet="14" kind="INPUT" tail="fin2rcvd" tail-magnet="1"/>
|
||||
<arc head="ACKF2b" head-magnet="13" kind="INPUT" tail="ackfrcvd" tail-magnet="2"/>
|
||||
<arc head="timewait" head-magnet="7" kind="OUTPUT" tail="ACKF2b" tail-magnet="15"/>
|
||||
<arc head="ACKF2b" head-magnet="0" kind="INPUT" tail="fin_wait1" tail-magnet="4"/>
|
||||
<arc head="ACKF2b" head-magnet="15" kind="INPUT" tail="fin2rcvd" tail-magnet="1"/>
|
||||
<arc head="ACKF2b" head-magnet="12" kind="INPUT" tail="ackfrcvd" tail-magnet="0"/>
|
||||
<arc head="timewait" head-magnet="7" kind="OUTPUT" tail="ACKF2b" tail-magnet="8"/>
|
||||
<arc head="ACKF2b_" head-magnet="5" kind="INPUT" tail="ackfrcvd_" tail-magnet="2"/>
|
||||
<arc head="ACKF2b_" head-magnet="6" kind="INPUT" tail="fin2rcvd_" tail-magnet="2"/>
|
||||
<arc head="timewait_" kind="OUTPUT" tail="ACKF2b_" tail-magnet="10"/>
|
||||
<arc head="fin2rcvd_" head-magnet="5" kind="OUTPUT" tail="FIN2" tail-magnet="3"/>
|
||||
<arc head="fin2rcvd" head-magnet="0" kind="OUTPUT" tail="FIN2_" tail-magnet="12"/>
|
||||
<arc head="ACKF2c" head-magnet="0" kind="INPUT" tail="ackfrcvd" tail-magnet="1"/>
|
||||
<arc head="timewait" head-magnet="1" kind="OUTPUT" tail="ACKF2c" tail-magnet="15"/>
|
||||
<arc head="ACKF2c_" head-magnet="3" kind="INPUT" tail="ackfrcvd_" tail-magnet="2"/>
|
||||
<arc head="ACKF" head-magnet="12" kind="INPUT" tail="finrcvd" tail-magnet="1"/>
|
||||
<arc head="ackfrcvd_" head-magnet="4" kind="OUTPUT" tail="ACKF" tail-magnet="6"/>
|
||||
<arc head="ACKF_" head-magnet="5" kind="INPUT" tail="finrcvd_" tail-magnet="3"/>
|
||||
@ -194,6 +187,28 @@
|
||||
<arc head="closewait" head-magnet="15" kind="OUTPUT" tail="ACKF" tail-magnet="8"/>
|
||||
<arc head="ackfrcvd_" head-magnet="6" kind="OUTPUT" tail="ACKF_" tail-magnet="7"/>
|
||||
<arc head="ackfrcvd" head-magnet="6" kind="OUTPUT" tail="ACKF" tail-magnet="14"/>
|
||||
<arc head="ACKF_" head-magnet="3" kind="INPUT" tail="estab_" tail-magnet="2"/>
|
||||
<arc head="END1" head-magnet="8" kind="INPUT" tail="lastack" tail-magnet="1"/>
|
||||
<arc head="END1_" head-magnet="11" kind="INPUT" tail="lastack_" tail-magnet="2"/>
|
||||
<arc head="END2" head-magnet="0" kind="INPUT" tail="closing" tail-magnet="3"/>
|
||||
<arc head="END2" head-magnet="14" kind="INPUT" tail="timewait" tail-magnet="2"/>
|
||||
<arc head="END2_" head-magnet="4" kind="INPUT" tail="closing_" tail-magnet="10"/>
|
||||
<arc head="END2_" head-magnet="7" kind="INPUT" tail="timewait_" tail-magnet="6"/>
|
||||
<arc head="closed" head-magnet="1" kind="OUTPUT" tail="END1" tail-magnet="2"/>
|
||||
<arc head="closed" head-magnet="3" kind="OUTPUT" tail="END2" tail-magnet="1"/>
|
||||
<arc head="closed_" head-magnet="3" kind="OUTPUT" tail="END1_" tail-magnet="0"/>
|
||||
<arc head="closed_" head-magnet="1" kind="OUTPUT" tail="END2_" tail-magnet="0"/>
|
||||
<arc head="OPEN" head-magnet="5" kind="INPUT" tail="closed" tail-magnet="4"/>
|
||||
<arc head="OPEN_" head-magnet="13" kind="INPUT" tail="closed_" tail-magnet="0"/>
|
||||
<arc head="idle" head-magnet="11" kind="OUTPUT" tail="OPEN" tail-magnet="8"/>
|
||||
<arc head="ackonce" head-magnet="5" kind="OUTPUT" tail="OPEN" tail-magnet="10"/>
|
||||
<arc head="ackonce_" head-magnet="7" kind="OUTPUT" tail="OPEN_" tail-magnet="8"/>
|
||||
<arc head="idle_" kind="OUTPUT" tail="OPEN_" tail-magnet="9"/>
|
||||
<arc head="closing" head-magnet="1" kind="OUTPUT" tail="ACKF2b" tail-magnet="8"/>
|
||||
<arc head="closing_" head-magnet="11" kind="OUTPUT" tail="ACKF2b_" tail-magnet="7"/>
|
||||
<arc head="ACKF" head-magnet="0" kind="INPUT" tail="estab" tail-magnet="1"/>
|
||||
<arc head="END2" head-magnet="8" kind="INPUT" tail="closewait" tail-magnet="2"/>
|
||||
<arc head="END2_" head-magnet="10" kind="INPUT" tail="closewait_" tail-magnet="3"/>
|
||||
</edges>
|
||||
</gspn>
|
||||
<measures gspn-name="PetriNet" name="Measures" simplified-UI="false">
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user