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

added outputs and screenshots

Browse Source
This commit is contained in:
Kaushik Narayan R 2025-05-30 06:39:54 -07:00
parent 14f05ca224
commit 4700013106
7 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
rkn/CONN+xCONN.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 1.4 MiB

BIN
rkn/CONN.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 715 KiB

BIN
rkn/incidence.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 5.4 MiB

BIN
rkn/reachability top.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 120 KiB

BIN
rkn/reachability.pdf Normal file
View File

Binary file not shown.

BIN
rkn/stats.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 81 KiB

12
tcp-rkn-copy.PNPRO → rkn/tcp-rkn-copy.PNPRO
View File

@ -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>