my-asu-archive/tcp-petri-net
1
0
Fork 0
mirror of https://github.com/20kaushik02/tcp-petri-net.git synced 2025-12-06 07:04:06 +00:00
Code Issues Packages Projects Releases Wiki Activity
tcp-petri-net/NSF TCP copy 2.PNPRO

166 lines
12 KiB
XML
Raw Blame History

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- 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="NSEW_SQUARE_POINTS" 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="NSEW_SQUARE_POINTS" name="estab" x="27.0" y="38.0"/>
<place label-x="1.0" magnets="NSEW_SQUARE_POINTS" name="estab_" x="32.0" y="38.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="NSEW_SQUARE_POINTS" 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="FOUR_PER_SIDE" name="ACK" type="GEN" x="19.55" y="27.0"/>
<transition delay="I[1.0]" label-y="2.0" magnets="NSEW_SQUARE_POINTS" 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"/>
<color-class definition="c{1..3}" name="C0" x="56.4375" y="37.0"/>
<color-var domain="C0" name="v0" x="57.125" y="39.0"/>
<place magnets="NSEW_SQUARE_POINTS" name="fin_wait1" x="4.0" y="52.0"/>
<place magnets="NSEW_SQUARE_POINTS" name="finrcvd_" x="54.0" y="46.0"/>
<transition delay="I[1.0]" label-x="2.0" label-y="-0.5" magnets="FOUR_PER_SIDE" name="FIN" type="GEN" x="19.55" y="44.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"/>
<transition delay="I[1.0]" label-x="2.0" label-y="-0.5" magnets="FOUR_PER_SIDE" name="ACKF" type="GEN" x="19.55" y="51.0"/>
<transition delay="I[1.0]" delay-x="0.0" delay-y="2.0" label-x="2.5" label-y="0.5" magnets="FOUR_PER_SIDE" name="ACKF_" type="GEN" x="39.55" y="51.0"/>
<place magnets="NSEW_SQUARE_POINTS" name="finrcvd" x="4.0" y="46.0"/>
<place magnets="NSEW_SQUARE_POINTS" name="fin_wait1_" x="54.0" y="52.0"/>
<place magnets="NSEW_SQUARE_POINTS" name="ackfrcvd" x="4.0" y="59.0"/>
<place magnets="NSEW_SQUARE_POINTS" name="timewait" x="4.0" y="70.0"/>
<place magnets="NSEW_SQUARE_POINTS" name="ackfrcvd_" x="54.0" y="59.0"/>
<place magnets="NSEW_SQUARE_POINTS" name="finsent" x="4.0" y="41.0"/>
<place magnets="NSEW_SQUARE_POINTS" name="finsent_" x="54.0" y="41.0"/>
<place name="timewait_" x="54.0" y="70.0"/>
<place magnets="NSEW_SQUARE_POINTS" name="fin_wait2" x="4.0" y="65.0"/>
<place magnets="NSEW_SQUARE_POINTS" name="fin_wait2_" x="54.0" y="65.0"/>
<place magnets="NSEW_SQUARE_POINTS" name="closewait_" x="54.0" y="75.0"/>
<place magnets="NSEW_SQUARE_POINTS" name="closewait" x="4.0" y="75.0"/>
<place magnets="NSEW_SQUARE_POINTS" name="lastack_" x="54.0" y="80.0"/>
<place magnets="NSEW_SQUARE_POINTS" name="lastack" x="4.0" y="81.0"/>
</nodes>
<edges>
<arc head="ACK" head-magnet="4" kind="INPUT" tail="ackonce"/>
<arc head="SYNACK_" head-magnet="9" kind="INPUT" tail="ackonce_"/>
<arc head="ACK_" head-magnet="9" kind="INPUT" tail="ackonce_"/>
<arc head="client" kind="OUTPUT" tail="SYN"/>
<arc head="SYN" head-magnet="15" kind="INPUT" tail="client"/>
<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"/>
</arc>
<arc head="myisn" kind="OUTPUT" tail="SYN" tail-magnet="8"/>
<arc head="SYNACK" kind="INPUT" tail="myisn"/>
<arc head="myisn" kind="OUTPUT" tail="SYNACK"/>
<arc head="ACK" head-magnet="12" kind="INPUT" tail="myisn"/>
<arc head="myisn" kind="OUTPUT" tail="ACK" tail-magnet="2"/>
<arc head="CONNECT" kind="INPUT" tail="myisn"/>
<arc head="SYNACK" head-magnet="15" kind="INPUT" tail="theirisn"/>
<arc head="theirisn" kind="OUTPUT" tail="SYNACK" tail-magnet="8"/>
<arc head="ACK" kind="INPUT" tail="theirisn" tail-magnet="1"/>
<arc head="theirisn" head-magnet="3" kind="OUTPUT" tail="ACK" tail-magnet="14"/>
<arc head="theirisn" head-magnet="12" kind="OUTPUT" tail="SYN_" tail-magnet="8"/>
<arc head="theirisn" head-magnet="0" kind="OUTPUT" tail="SYNACK_"/>
<arc head="theirisn_" head-magnet="6" kind="OUTPUT" tail="SYN" tail-magnet="11"/>
<arc head="ackrcvd_" kind="OUTPUT" tail="SYNACK"/>
<arc head="acksent" kind="OUTPUT" mult-k="1.4465820312499997" tail="SYNACK" tail-magnet="10">
<point x="18.5883681640625" y="20.79609375"/>
</arc>
<arc head="theirisn_" head-magnet="4" kind="OUTPUT" tail="SYNACK"/>
<arc head="acksent" kind="OUTPUT" tail="ACK"/>
<arc head="ackrcvd" kind="OUTPUT" tail="ACK" tail-magnet="7"/>
<arc head="ACK" head-magnet="15" kind="INPUT" tail="ackrcvd" tail-magnet="11"/>
<arc head="ackrcvd_" kind="OUTPUT" tail="ACK"/>
<arc head="CONNECT" kind="INPUT" tail="ackrcvd" tail-magnet="3"/>
<arc head="estab" kind="OUTPUT" tail="CONNECT"/>
<arc head="ackrcvd" head-magnet="15" kind="OUTPUT" tail="SYNACK_" tail-magnet="6"/>
<arc head="ackrcvd" head-magnet="0" kind="OUTPUT" tail="ACK_" tail-magnet="6"/>
<arc head="estab_" kind="OUTPUT" tail="CONNECT_"/>
<arc head="CONNECT_" head-magnet="6" kind="INPUT" tail="ackrcvd_"/>
<arc head="ackrcvd_" kind="OUTPUT" tail="ACK_" tail-magnet="5"/>
<arc head="ACK_" head-magnet="8" kind="INPUT" tail="ackrcvd_"/>
<arc head="acksent_" kind="OUTPUT" tail="ACK_" tail-magnet="5"/>
<arc head="CONNECT_" head-magnet="1" kind="INPUT" tail="acksent_"/>
<arc head="acksent_" kind="OUTPUT" tail="SYNACK_" tail-magnet="8"/>
<arc head="CONNECT_" head-magnet="5" kind="INPUT" tail="theirisn_" tail-magnet="1"/>
<arc head="CONNECT_" head-magnet="4" kind="INPUT" tail="myisn_"/>
<arc head="theirisn_" head-magnet="3" kind="OUTPUT" tail="ACK_"/>
<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"/>
</arc>
<arc head="myisn_" head-magnet="5" kind="OUTPUT" tail="SYNACK_"/>
<arc head="theirisn_" 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"/>
</arc>
<arc head="SYN_" head-magnet="0" kind="INPUT" mult-k="1.46240234375" tail="idle_">
<point x="42.0" y="6.0"/>
</arc>
<arc head="SYNACK_" kind="INPUT" tail="idle_"/>
<arc head="SYN_" head-magnet="4" kind="INPUT" tail="client_"/>
<arc head="client_" head-magnet="2" kind="OUTPUT" tail="SYN_"/>
<arc head="SYN" head-magnet="0" kind="INPUT" tail="idle"/>
<arc head="SYN_" head-magnet="7" kind="INPUT" tail="syn2_"/>
<arc head="client_" kind="OUTPUT" tail="SYN"/>
<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"/>
</arc>
<arc head="FIN" head-magnet="4" kind="INPUT" tail="estab"/>
<arc head="FIN_" head-magnet="0" kind="INPUT" tail="estab_" tail-magnet="2"/>
<arc head="finsent" head-magnet="0" kind="OUTPUT" tail="FIN" tail-magnet="13"/>
<arc head="finrcvd_" kind="OUTPUT" mult-k="1.10732421875" tail="FIN" tail-magnet="5">
<point x="38.5" y="48.5"/>
</arc>
<arc head="finsent_" head-magnet="4" kind="OUTPUT" tail="FIN_" tail-magnet="5"/>
<arc head="finrcvd" kind="OUTPUT" mult-k="0.8795898437499999" tail="FIN_" tail-magnet="14">
<point x="22.0" y="48.5"/>
</arc>
<arc head="fin_wait1_" head-magnet="4" kind="OUTPUT" mult-k="1.2249023437500002" tail="FIN_" tail-magnet="6">
<point x="45.0" y="48.5"/>
</arc>
<arc head="fin_wait1" head-magnet="0" kind="OUTPUT" tail="FIN" tail-magnet="15"/>
<arc head="ACKF_" head-magnet="5" kind="INPUT" tail="finrcvd_" tail-magnet="3"/>
<arc head="ackfrcvd" head-magnet="0" kind="OUTPUT" tail="ACKF_" tail-magnet="14"/>
<arc head="ACKF" head-magnet="13" kind="INPUT" tail="finrcvd" tail-magnet="1"/>
<arc head="ackfrcvd_" head-magnet="4" kind="OUTPUT" tail="ACKF" tail-magnet="6"/>
<arc head="fin_wait2" head-magnet="7" kind="OUTPUT" tail="ACKF" tail-magnet="15"/>
<arc head="fin_wait2_" kind="OUTPUT" tail="ACKF_" tail-magnet="11"/>
<arc head="FIN_" head-magnet="9" kind="INPUT" mult-k="1.02392578125" tail="ackfrcvd_" tail-magnet="5">
<point x="47.288255671721394" y="53.3061101639089"/>
</arc>
<arc head="FIN" head-magnet="9" kind="INPUT" tail="ackfrcvd" tail-magnet="7"/>
<arc head="closewait_" head-magnet="4" kind="OUTPUT" tail="ACKF_" tail-magnet="8"/>
<arc head="FIN_" kind="INPUT" tail="closewait_" tail-magnet="5"/>
<arc head="closewait" head-magnet="0" kind="OUTPUT" tail="FIN_" tail-magnet="8"/>
<arc head="closewait_" head-magnet="3" kind="OUTPUT" tail="FIN" tail-magnet="11"/>
<arc head="lastack_" head-magnet="5" kind="OUTPUT" tail="FIN_" tail-magnet="8"/>
<arc head="FIN" head-magnet="8" kind="INPUT" tail="closewait" tail-magnet="7"/>
<arc head="lastack" head-magnet="0" kind="OUTPUT" tail="FIN" tail-magnet="9"/>
</edges>
</gspn>
<measures gspn-name="PetriNet" name="Measures" simplified-UI="false">
<assignments/>
<greatspn/>
<formulas>
<formula comment="Basic statistics of the toolchain execution." language="STAT"/>
<formula comment="All the basic Petri net measures" language="ALL"/>
</formulas>
</measures>
</project>
Reference in New Issue View Git Blame Copy Permalink