diff --git a/rkn/CONN+xCONN.png b/rkn/CONN+xCONN.png
new file mode 100644
index 0000000..b40a854
Binary files /dev/null and b/rkn/CONN+xCONN.png differ
diff --git a/rkn/CONN.png b/rkn/CONN.png
new file mode 100644
index 0000000..3680641
Binary files /dev/null and b/rkn/CONN.png differ
diff --git a/rkn/incidence.png b/rkn/incidence.png
new file mode 100644
index 0000000..f10aa9b
Binary files /dev/null and b/rkn/incidence.png differ
diff --git a/rkn/reachability top.png b/rkn/reachability top.png
new file mode 100644
index 0000000..ded98ef
Binary files /dev/null and b/rkn/reachability top.png differ
diff --git a/rkn/reachability.pdf b/rkn/reachability.pdf
new file mode 100644
index 0000000..ce2e542
Binary files /dev/null and b/rkn/reachability.pdf differ
diff --git a/rkn/stats.png b/rkn/stats.png
new file mode 100644
index 0000000..3c50436
Binary files /dev/null and b/rkn/stats.png differ
diff --git a/tcp-rkn-copy.PNPRO b/rkn/tcp-rkn-copy.PNPRO
similarity index 96%
rename from tcp-rkn-copy.PNPRO
rename to rkn/tcp-rkn-copy.PNPRO
index 3b13fe4..321ce8c 100644
--- a/tcp-rkn-copy.PNPRO
+++ b/rkn/tcp-rkn-copy.PNPRO
@@ -2171,9 +2171,9 @@
     <subnet netname="CONN"/>
     <subnet netname="xCONN"/>
   </multinet>
-  <measures gspn-name="MultiNet" log-uuid="3f9e6472-8455-42e9-8cdd-d21ad92aee57" name="Measures" simplified-UI="false">
+  <measures gspn-name="MultiNet" log-uuid="55482c2c-c406-43ab-8797-afad89311ca1" name="Measures" simplified-UI="false">
     <assignments/>
-    <rgmedd2/>
+    <mc4cslta max-dot-markings="20000"/>
     <formulas>
       <formula language="ALL">
         <result-table>
@@ -2466,7 +2466,7 @@
         <result-table>
           <stat-result name="STAT">
             <bindings/>
-            <stat key="build_time" value="[User 0.203s, Sys 0.016s]"/>
+            <stat key="build_time" value="[User 0.188s, Sys 0.046s]"/>
             <stat key="immediate_firings" value="44298"/>
             <stat key="num_tangible_markings" value="1967"/>
             <stat key="num_vanishing_markings" value="0"/>
@@ -2478,7 +2478,7 @@
       </formula>
       <formula language="INC">
         <result-table>
-          <pdf-result filename="C:\Kaushik\ASU\CSE 593 - Applied Project\tcp-petri-net\tcp-rkn-copy-Measures.solution\MultiNet-INC-0.pdf" name="INC">
+          <pdf-result name="INC">
             <bindings/>
           </pdf-result>
         </result-table>
@@ -2492,7 +2492,7 @@
       </formula>
       <formula language="TRG">
         <result-table>
-          <pdf-result filename="C:\Kaushik\ASU\CSE 593 - Applied Project\tcp-petri-net\tcp-rkn-copy-Measures.solution\MultiNet-TRG-0.pdf" name="TRG">
+          <pdf-result name="TRG">
             <bindings/>
           </pdf-result>
         </result-table>
@@ -2500,6 +2500,6 @@
     </formulas>
   </measures>
   <resource-list>
-    <document-log uuid="3f9e6472-8455-42e9-8cdd-d21ad92aee57">rO0ABXNyABRqYXZhLnV0aWwuTGlua2VkTGlzdAwpU11KYIgiAwAAeHB3BAAAADd0AXobWzBtRVhFQzogIkM6XEthdXNoaWtcUHJvZHVjdGl2aXR5XEdyZWF0U1BOXGFwcFxwb3J0YWJsZV9ncmVhdHNwblxiaW5cRFNQTi1Ub29sLmV4ZSIgLWxvYWQgIkM6XEthdXNoaWtcQVNVXENTRSA1OTMgLSBBcHBsaWVkIFByb2plY3RcdGNwLXBldHJpLW5ldFx0Y3AtcmtuLWNvcHktTWVhc3VyZXMuc29sdXRpb25cTXVsdGlOZXQiIC1lcHNpbG9uICIxLjBFLTciIC1vbi10aGUtZmx5IC1pIC1nbXJlcyAtd2l0aC1jbHVzdGVycyAtbWF4LWRvdC1tYXJraW5ncyAyMDAwMCAtZG90LUYgIkM6XEthdXNoaWtcQVNVXENTRSA1OTMgLSBBcHBsaWVkIFByb2plY3RcdGNwLXBldHJpLW5ldFx0Y3AtcmtuLWNvcHktTWVhc3VyZXMuc29sdXRpb25cTXVsdGlOZXQtVFJHLTAiIAp0AJAbWzFtG1s0bUxPQURJTkcgUEVUUkkgTkVUIEM6XEthdXNoaWtcQVNVXENTRSA1OTMgLSBBcHBsaWVkIFByb2plY3RcdGNwLXBldHJpLW5ldFx0Y3AtcmtuLWNvcHktTWVhc3VyZXMuc29sdXRpb25cTXVsdGlOZXQgKG5ldC9kZWYpLi4uG1syMm0bWzI0bQp0AA9NQVJLSU5HIFBBUjogMAp0ABBQTEFDRVM6ICAgICAgNjIKdAAPUkFURSBQQVI6ICAgIDAKdAARVFJBTlNJVElPTlM6IDE1Ngp0AA9NRUFTVVJFUzogICAgMAp0AChMT0FESU5HIFRJTUU6IFtVc2VyIDAuMDAwcywgU3lzIDAuMDAwc10KdAABCnQAAQp0ADlNQVguIFJFU0lEVUFMIEVSUk9SIFNFVCBUTyAxZS0wNyBGT1IgTlVNRVJJQ0FMIEFOQUxZU0lTLgp0AERVU0lORyBPTi1USEUtRkxZIFNUQVRFIFNQQUNFIENPTlNUUlVDVElPTiBPRiBDU0xeVEEgTU9ERUwgQ0hFQ0tJTkcuCnQAMVVTSU5HIElNUExJQ0lUIFNURUFEWSBTVEFURSBNUlAgU09MVVRJT04gTUVUSE9ELgp0ADVVU0lORyBHTVJFUyBNRVRIT0QgRk9SIElNUExJQ0lUIFNUQVRJT05BUlkgQU5BTFlTSVMuCnQAS1RBTkdJQkxFOiAzMyAgICAgIFZBTklTSElORzogMzA4ICAgICBJTU1FRElBVEU6IDYxNCAgICAgVElNRUQ6IDUwICAgICAgICAgCnQAUxtbMUEgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAKdAAFG1sxQQp0AAEKdAAnVEFOR0lCTEUgU1RBVEVTOiAgICAgICAgICAgICAgICAgIDE5NjcKdAAnVkFOSVNISU5HIFNUQVRFUzogICAgICAgICAgICAgICAgICAgIDAKdABLTlVNQkVSIE9GIFRJTUVEIEVER0VTOiAgICAgICAgICAgIDQ4MjAgICg2NDYgVC0+VCwgMCBULT5WLCA0MTc0IFQtPlYqLT5UKS4KdAA6TlVNQkVSIE9GIElNTUVESUFURSBFREdFUzogICAgICAgICAgIDAgICgwIFYtPlQsIDAgVi0+VikuCnQAJ1RPVEFMIE5VTUJFUiBPRiBFREdFUzogICAgICAgICAgICA0ODIwCnQAJ0lNTUVESUFURSBUUk5TLiBGSVJJTkdTOiAgICAgICAgIDQ0Mjk4CnQAJ1RJTUVEIFRSTlMuIEZJUklOR1M6ICAgICAgICAgICAgICA0NzMwCnQAJ1ZJU0lURUQgVkFOSVNISU5HIFNUQVRFUzogICAgICAgIDIzNzk2CnQAJ0dFTkVSQUwgVFJBTlNJVElPTlM6ICAgICAgICAgICAgICAgICAwCnQAJ05PTi1QUkVFTVBUSVZFIEVYUC4gVFJOUy46ICAgICAgICA0ODIwCnQAJ1BSRUVNUFRJVkUgRVhQLiBUUkFOU0lUSU9OUzogICAgICAgICAwCnQADk1FTU9SWSBVU0FHRToKdAAnVFJBTlNJVElPTi1TRVQgRU5UUklFUzogICAgICAgICAgICAgIDAKdAAnVkFOSVNILVBBVEggRU5UUklFUzogICAgICAgICAgICAgIDE1MzQKdAAnVkFOSVNILVBBVEgtU0VUIEVOVFJJRVM6ICAgICAgICAgIDEyMTYKdAAtUEFDS0VEIE1BUktJTkdTOiAgICAgICAgICAgICAgICAgIDgwMjkgQllURVMKdAAtU1RBVEUgU0VUIERBVEE6ICAgICAgICAgICAgICAgICAgIDM5MzQgQllURVMKdAAtRURHRVMgREFUQTogICAgICAgICAgICAgICAgICAgICAgMjY4MzcgQllURVMKdAABCnQAIFBBQ0tFRCBUQU5HSUJMRSBNQVJLSU5HUyBUQUJMRToKdAAnU1RPUkVEIFNFUVVFTkNFUzogMTk2NywgRlJBR01FTlRTOiA0ODQKdAAmICBTRVFVRU5DRVMgTUVNT1JZOiAgICAgICA2Mzk0IEJZVEVTLgp0ACYgIEZSQUdNRU5UUyBNRU1PUlk6ICAgICAgIDE2MzUgQllURVMuCnQAJiAgICAgIFRPVEFMIE1FTU9SWTogICAgICAgODAyOSBCWVRFUy4KdAAsTUVBTiBNRU1PUlkgUEVSIFNFUVVFTkNFIElTOiA0LjA4MTg1IEJZVEVTLgp0ACkgIFVTRUQgRk9SIFNFUVVFTkNFIERBVEE6IDMuMjUwNjQgQllURVMuCnQAIyAgICAgICAgVVNFRCBGT1IgSEFTSElORzogMCBCWVRFUy4KdAAqICAgICAgVVNFRCBGT1IgRlJBR01FTlRTOiAwLjgzMTIxNSBCWVRFUy4KdAAmQlVJTEQgVElNRTogW1VzZXIgMC4yMThzLCBTeXMgMC4wNDdzXQp0AAEKdAABCnQAOlRIRSBSRyBJUyBBIBtbNG0bWzMzbUNPTlRJTlVPUyBUSU1FIE1BUktPViBDSEFJThtbMjRtG1swbQp0AAEKdAD0ZXhlYzogZG90ICJDOlxLYXVzaGlrXEFTVVxDU0UgNTkzIC0gQXBwbGllZCBQcm9qZWN0XHRjcC1wZXRyaS1uZXRcdGNwLXJrbi1jb3B5LU1lYXN1cmVzLnNvbHV0aW9uXE11bHRpTmV0LVRSRy0wLmRvdCIgLVRwZGYgLW8gIkM6XEthdXNoaWtcQVNVXENTRSA1OTMgLSBBcHBsaWVkIFByb2plY3RcdGNwLXBldHJpLW5ldFx0Y3AtcmtuLWNvcHktTWVhc3VyZXMuc29sdXRpb25cTXVsdGlOZXQtVFJHLTAucGRmIiAocGlkPTEwMTcpCnQA6URPVCBGSUxFcyBTQVZFRCBBUyBDOlxLYXVzaGlrXEFTVVxDU0UgNTkzIC0gQXBwbGllZCBQcm9qZWN0XHRjcC1wZXRyaS1uZXRcdGNwLXJrbi1jb3B5LU1lYXN1cmVzLnNvbHV0aW9uXE11bHRpTmV0LVRSRy0wLmRvdCBBTkQgQzpcS2F1c2hpa1xBU1VcQ1NFIDU5MyAtIEFwcGxpZWQgUHJvamVjdFx0Y3AtcGV0cmktbmV0XHRjcC1ya24tY29weS1NZWFzdXJlcy5zb2x1dGlvblxNdWx0aU5ldC1UUkctMC5wZGYKdAABCnQAJxtbMFgbWzMybSBQUk9DRVNTIEVYSVRFRCBOT1JNQUxMWS4bWzBtCnhzcQB+AAB3BAAAADdzcgARamF2YS5sYW5nLkJvb2xlYW7NIHKA1Zz67gIAAVoABXZhbHVleHABcQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7eA</document-log>
+    <document-log uuid="55482c2c-c406-43ab-8797-afad89311ca1">rO0ABXNyABRqYXZhLnV0aWwuTGlua2VkTGlzdAwpU11KYIgiAwAAeHB3BAAAADd0AXMbWzBtRVhFQzogIkM6XEthdXNoaWtcUHJvZHVjdGl2aXR5XEdyZWF0U1BOXGFwcFxwb3J0YWJsZV9ncmVhdHNwblxiaW5cRFNQTi1Ub29sLmV4ZSIgLWxvYWQgIkM6XEthdXNoaWtcQVNVXENTRSA1OTMgLSBBcHBsaWVkIFByb2plY3RcdGNwLXBldHJpLW5ldFxya25cdGNwLXJrbi1jb3B5LU1lYXN1cmVzLnNvbHV0aW9uXE11bHRpTmV0IiAtZXBzaWxvbiAiMS4wRS03IiAtb24tdGhlLWZseSAtaSAtZ21yZXMgLW1heC1kb3QtbWFya2luZ3MgMjAwMDAgLWRvdC1GICJDOlxLYXVzaGlrXEFTVVxDU0UgNTkzIC0gQXBwbGllZCBQcm9qZWN0XHRjcC1wZXRyaS1uZXRccmtuXHRjcC1ya24tY29weS1NZWFzdXJlcy5zb2x1dGlvblxNdWx0aU5ldC1UUkctMCIgCnQAlBtbMW0bWzRtTE9BRElORyBQRVRSSSBORVQgQzpcS2F1c2hpa1xBU1VcQ1NFIDU5MyAtIEFwcGxpZWQgUHJvamVjdFx0Y3AtcGV0cmktbmV0XHJrblx0Y3AtcmtuLWNvcHktTWVhc3VyZXMuc29sdXRpb25cTXVsdGlOZXQgKG5ldC9kZWYpLi4uG1syMm0bWzI0bQp0AA9NQVJLSU5HIFBBUjogMAp0ABBQTEFDRVM6ICAgICAgNjIKdAAPUkFURSBQQVI6ICAgIDAKdAARVFJBTlNJVElPTlM6IDE1Ngp0AA9NRUFTVVJFUzogICAgMAp0AChMT0FESU5HIFRJTUU6IFtVc2VyIDAuMDAwcywgU3lzIDAuMDAwc10KdAABCnQAAQp0ADlNQVguIFJFU0lEVUFMIEVSUk9SIFNFVCBUTyAxZS0wNyBGT1IgTlVNRVJJQ0FMIEFOQUxZU0lTLgp0AERVU0lORyBPTi1USEUtRkxZIFNUQVRFIFNQQUNFIENPTlNUUlVDVElPTiBPRiBDU0xeVEEgTU9ERUwgQ0hFQ0tJTkcuCnQAMVVTSU5HIElNUExJQ0lUIFNURUFEWSBTVEFURSBNUlAgU09MVVRJT04gTUVUSE9ELgp0ADVVU0lORyBHTVJFUyBNRVRIT0QgRk9SIElNUExJQ0lUIFNUQVRJT05BUlkgQU5BTFlTSVMuCnQAS1RBTkdJQkxFOiA5NSAgICAgIFZBTklTSElORzogMTA3OCAgICBJTU1FRElBVEU6IDIxNTcgICAgVElNRUQ6IDE1NiAgICAgICAgCnQAUxtbMUEgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAKdAAFG1sxQQp0AAEKdAAnVEFOR0lCTEUgU1RBVEVTOiAgICAgICAgICAgICAgICAgIDE5NjcKdAAnVkFOSVNISU5HIFNUQVRFUzogICAgICAgICAgICAgICAgICAgIDAKdABLTlVNQkVSIE9GIFRJTUVEIEVER0VTOiAgICAgICAgICAgIDQ4MjAgICg2NDYgVC0+VCwgMCBULT5WLCA0MTc0IFQtPlYqLT5UKS4KdAA6TlVNQkVSIE9GIElNTUVESUFURSBFREdFUzogICAgICAgICAgIDAgICgwIFYtPlQsIDAgVi0+VikuCnQAJ1RPVEFMIE5VTUJFUiBPRiBFREdFUzogICAgICAgICAgICA0ODIwCnQAJ0lNTUVESUFURSBUUk5TLiBGSVJJTkdTOiAgICAgICAgIDQ0Mjk4CnQAJ1RJTUVEIFRSTlMuIEZJUklOR1M6ICAgICAgICAgICAgICA0NzMwCnQAJ1ZJU0lURUQgVkFOSVNISU5HIFNUQVRFUzogICAgICAgIDIzNzk2CnQAJ0dFTkVSQUwgVFJBTlNJVElPTlM6ICAgICAgICAgICAgICAgICAwCnQAJ05PTi1QUkVFTVBUSVZFIEVYUC4gVFJOUy46ICAgICAgICA0ODIwCnQAJ1BSRUVNUFRJVkUgRVhQLiBUUkFOU0lUSU9OUzogICAgICAgICAwCnQADk1FTU9SWSBVU0FHRToKdAAnVFJBTlNJVElPTi1TRVQgRU5UUklFUzogICAgICAgICAgICAgIDAKdAAnVkFOSVNILVBBVEggRU5UUklFUzogICAgICAgICAgICAgIDE1MzQKdAAnVkFOSVNILVBBVEgtU0VUIEVOVFJJRVM6ICAgICAgICAgIDEyMTYKdAAtUEFDS0VEIE1BUktJTkdTOiAgICAgICAgICAgICAgICAgIDgwMjkgQllURVMKdAAtU1RBVEUgU0VUIERBVEE6ICAgICAgICAgICAgICAgICAgIDM5MzQgQllURVMKdAAtRURHRVMgREFUQTogICAgICAgICAgICAgICAgICAgICAgMjY4MzcgQllURVMKdAABCnQAIFBBQ0tFRCBUQU5HSUJMRSBNQVJLSU5HUyBUQUJMRToKdAAnU1RPUkVEIFNFUVVFTkNFUzogMTk2NywgRlJBR01FTlRTOiA0ODQKdAAmICBTRVFVRU5DRVMgTUVNT1JZOiAgICAgICA2Mzk0IEJZVEVTLgp0ACYgIEZSQUdNRU5UUyBNRU1PUlk6ICAgICAgIDE2MzUgQllURVMuCnQAJiAgICAgIFRPVEFMIE1FTU9SWTogICAgICAgODAyOSBCWVRFUy4KdAAsTUVBTiBNRU1PUlkgUEVSIFNFUVVFTkNFIElTOiA0LjA4MTg1IEJZVEVTLgp0ACkgIFVTRUQgRk9SIFNFUVVFTkNFIERBVEE6IDMuMjUwNjQgQllURVMuCnQAIyAgICAgICAgVVNFRCBGT1IgSEFTSElORzogMCBCWVRFUy4KdAAqICAgICAgVVNFRCBGT1IgRlJBR01FTlRTOiAwLjgzMTIxNSBCWVRFUy4KdAAmQlVJTEQgVElNRTogW1VzZXIgMC4xODhzLCBTeXMgMC4wNjNzXQp0AAEKdAABCnQAOlRIRSBSRyBJUyBBIBtbNG0bWzMzbUNPTlRJTlVPUyBUSU1FIE1BUktPViBDSEFJThtbMjRtG1swbQp0AAEKdAD8ZXhlYzogZG90ICJDOlxLYXVzaGlrXEFTVVxDU0UgNTkzIC0gQXBwbGllZCBQcm9qZWN0XHRjcC1wZXRyaS1uZXRccmtuXHRjcC1ya24tY29weS1NZWFzdXJlcy5zb2x1dGlvblxNdWx0aU5ldC1UUkctMC5kb3QiIC1UcGRmIC1vICJDOlxLYXVzaGlrXEFTVVxDU0UgNTkzIC0gQXBwbGllZCBQcm9qZWN0XHRjcC1wZXRyaS1uZXRccmtuXHRjcC1ya24tY29weS1NZWFzdXJlcy5zb2x1dGlvblxNdWx0aU5ldC1UUkctMC5wZGYiIChwaWQ9MTk4NikKdADxRE9UIEZJTEVzIFNBVkVEIEFTIEM6XEthdXNoaWtcQVNVXENTRSA1OTMgLSBBcHBsaWVkIFByb2plY3RcdGNwLXBldHJpLW5ldFxya25cdGNwLXJrbi1jb3B5LU1lYXN1cmVzLnNvbHV0aW9uXE11bHRpTmV0LVRSRy0wLmRvdCBBTkQgQzpcS2F1c2hpa1xBU1VcQ1NFIDU5MyAtIEFwcGxpZWQgUHJvamVjdFx0Y3AtcGV0cmktbmV0XHJrblx0Y3AtcmtuLWNvcHktTWVhc3VyZXMuc29sdXRpb25cTXVsdGlOZXQtVFJHLTAucGRmCnQAAQp0ACcbWzBYG1szMm0gUFJPQ0VTUyBFWElURUQgTk9STUFMTFkuG1swbQp4c3EAfgAAdwQAAAA3c3IAEWphdmEubGFuZy5Cb29sZWFuzSBygNWc+u4CAAFaAAV2YWx1ZXhwAXEAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3g</document-log>
   </resource-list>
 </project>