Skip to content

GitLab

C
Cosmos
Commit 8c3e7d41 authored by Benoît Barbot's avatar Benoît Barbot
Browse files
Options

progress

parent c07b3bec
Pipeline #924 passed with stages
        in 25 minutes and 18 seconds
        Hide whitespace changes
        Inline Side-by-side
        Showing with 36 additions and 11 deletions
        Examples/Wifi802.11/802.11.PNPRO
        View file @ 8c3e7d41
        ......@@ -1604,8 +1604,8 @@
        <place domain="P" name="Receiving" x="101.0" y="42.0"/>
        <place name="Medium" x="121.0" y="12.0"/>
        <transition delay="I[Vuln]" label-y="-2.0" name="BeginSending" type="GEN" x="122.55" y="26.0"/>
        <place domain="P" name="SentPacket" x="136.0" y="15.0"/>
        <transition name="PacketLoss" rotation="1.5707963267948966" type="IMM" x="135.85" y="8.0"/>
        <place domain="P" name="SentPacket" x="150.0" y="23.0"/>
        <transition name="PacketLoss" rotation="1.5707963267948966" type="IMM" x="149.85" y="16.0"/>
        <transition delay="I[RTS]" name="SendRTS" rotation="1.5707963267948966" type="GEN" x="119.55" y="34.0"/>
        <transition delay="I[CTS]" name="SendCTS" rotation="1.5707963267948966" type="GEN" x="125.55" y="34.0"/>
        <transition delay="I[Data]" name="SendData" rotation="1.5707963267948966" type="GEN" x="132.55" y="34.0"/>
        ......@@ -1670,7 +1670,12 @@
        <transition delay="I[AIFS3]" name="ResumeBackoff3" type="GEN" x="25.55" y="43.0"/>
        <transition delay="I[AIFS4]" name="ResumeBackoff4" type="GEN" x="25.55" y="47.0"/>
        <constant consttype="REAL" name="Arrival" value="0.001" x="4.0625" y="20.0"/>
        <place name="P0" x="139.0" y="8.0"/>
        <place name="P0" x="153.0" y="16.0"/>
        <place marking="1" name="NotErrorSpike" x="156.0" y="12.0"/>
        <place label-y="-2.0" name="ErrorSpike" x="156.0" y="7.0"/>
        <transition delay="ErrorSpikeRate" label-x="-4.5" label-y="1.0" name="EnteringErrorSpike" nservers="1" nservers-x="0.5" rotation="1.5707963267948966" type="EXP" x="152.55" y="10.0"/>
        <transition delay=".1" label-x="-3.5" name="ExitingErrorSpike" nservers="1" nservers-x="0.5" rotation="4.71238898038469" type="EXP" x="160.55" y="10.0"/>
        <constant consttype="REAL" name="ErrorSpikeRate" value="0.0001" x="0.625" y="21.0"/>
        </nodes>
        <edges>
        <arc head="PacketArrival" kind="INPUT" mult="&lt;sa,p&gt;" mult-k="0.35712890625000004" tail="Idle"/>
        ......@@ -1752,12 +1757,12 @@
        <arc head="BeginWaitingForResponse" kind="INPUT" mult="&lt;sa,sb,p,pt&gt;" mult-x="0.0" mult-y="-0.5" tail="PacketSent"/>
        <arc head="WaitForResponse" kind="OUTPUT" mult="&lt;sa,sb,p,pt++&gt;" mult-y="-0.5" tail="BeginWaitingForResponse"/>
        <arc broken="true" head="SentPacket" kind="OUTPUT" mult="&lt;sa,sb,p,pt&gt;" mult-x="-2.0" mult-y="0.09181461809498614" tail="BeginWaitingForResponse">
        <point x="136.0" y="40.0"/>
        <point x="136.0" y="21.5"/>
        <point x="150.0" y="48.0"/>
        <point x="150.0" y="29.5"/>
        </arc>
        <arc broken="true" head="SentPacket" kind="OUTPUT" mult="&lt;sa,sb,p,ack&gt;" mult-x="6.0" mult-y="-0.2033795995652099" tail="SendAck">
        <point x="152.0" y="32.5"/>
        <point x="144.0" y="18.5"/>
        <point x="166.0" y="40.5"/>
        <point x="158.0" y="26.5"/>
        </arc>
        <arc broken="true" head="BeginWaitingForResponse" kind="INPUT" tail="Medium">
        <point x="128.0" y="16.0"/>
        ......@@ -1800,8 +1805,8 @@
        <point x="95.0" y="33.0"/>
        </arc>
        <arc broken="true" head="CorrectPacketButAck" kind="INPUT" mult="&lt;sb,sa,p,pt&gt;" mult-k="2.6115966796874996" mult-x="2.0" mult-y="-0.5003172440782464" tail="SentPacket">
        <point x="129.0" y="13.0"/>
        <point x="91.0" y="39.0"/>
        <point x="143.0" y="21.0"/>
        <point x="105.0" y="47.0"/>
        </arc>
        <arc head="SenderWrongPacket" kind="INPUT" mult="&lt;sa,sb,p,pt&gt;" mult-k="1.2995117187499998" mult-x="0.5051504414501338" mult-y="-0.47627965414267237" tail="ReadingPacket">
        <point x="92.0" y="48.0"/>
        ......@@ -1822,8 +1827,8 @@
        <point x="83.5" y="36.0"/>
        </arc>
        <arc broken="true" head="CorrectPacketAck" kind="INPUT" mult="&lt;sb,sa,p,pt&gt;" mult-k="2.8349382817745212" mult-x="2.0" mult-y="0.49855245943534143" tail="SentPacket">
        <point x="150.5" y="17.0"/>
        <point x="72.5" y="34.0"/>
        <point x="164.5" y="25.0"/>
        <point x="86.5" y="42.0"/>
        </arc>
        <arc broken="true" head="Idle" kind="OUTPUT" mult="&lt;sa,p&gt;" mult-k="2.8481939584016804" mult-y="-3.1032385855134237E-4" tail="CorrectPacketAck">
        <point x="89.5" y="37.5"/>
        ......@@ -1999,6 +2004,26 @@
        <point x="37.0" y="39.5"/>
        </arc>
        <arc head="PacketLoss" kind="INPUT" tail="P0"/>
        <arc head="ExitingErrorSpike" kind="INPUT" tail="ErrorSpike">
        <point x="161.0" y="8.0"/>
        </arc>
        <arc head="NotErrorSpike" kind="OUTPUT" mult-x="-1.097805489117178" mult-y="0.9021945108828273" tail="ExitingErrorSpike">
        <point x="161.0" y="13.0"/>
        </arc>
        <arc head="EnteringErrorSpike" kind="INPUT" tail="NotErrorSpike">
        <point x="153.0" y="13.0"/>
        </arc>
        <arc head="ErrorSpike" kind="OUTPUT" tail="EnteringErrorSpike">
        <point x="153.0" y="8.0"/>
        </arc>
        <arc broken="true" head="Medium" kind="OUTPUT" mult-x="-0.06367187499999716" mult-y="0.3511230468749993" tail="EnteringErrorSpike">
        <point x="146.5" y="7.0"/>
        <point x="141.5" y="18.0"/>
        </arc>
        <arc broken="true" head="ExitingErrorSpike" kind="INPUT" mult-k="2.8712412476539613" tail="Medium">
        <point x="127.0" y="22.0"/>
        <point x="163.0" y="6.5"/>
        </arc>
        </edges>
        </gspn>
        <gspn name="802.11pTopo" zoom="150">
        ......
        Markdown is supported
        0% or .
        You are about to add 0 people to the discussion. Proceed with caution.
        Finish editing this message first!
        Please register or to comment