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

Commit Graph

  • 4700013106 added outputs and screenshots main Kaushik Narayan R 2025-05-30 06:39:54 -07:00
  • 14f05ca224 limit execution to single iterations for finite state space Kaushik Narayan R 2025-05-30 01:48:31 -07:00
  • a0de31f353 completed prototype Kaushik Narayan R 2025-05-30 00:10:26 -07:00
  • 208d3993b9 added petri net with RSTs and more, per the RFC Kaushik Narayan R 2025-05-15 05:03:54 -07:00
  • bc9e2d495a
         Merge pull request #1 from bmixonba/main bmixonba 2025-05-02 22:32:53 -06:00
  • d60af90a7a Added Conntrack-related code 1. Conntrack.PNPRO - A basic petri-net version of conntrack from Android and Linux. No RST or FIN, No sequence numbers. 2. Added python code to generate diagram of conntrack TCP state transitions. BB 2025-05-02 22:29:28 -06:00
  • 0bd126ed7e Create TCP-sample.PNPRO melaniehendricks 2025-04-25 11:08:53 -07:00
  • 786bef11f5 GRACEFUL TEARDOWN SUCCESS!! @#$!^% melaniehendricks 2025-04-10 13:50:20 -07:00
  • 9e868b528d added multiple ACKF2 places to account for multiple scenarios. melaniehendricks 2025-04-08 14:17:05 -07:00
  • 24c78a3b13 FIN, ACK/FIN2, ACK2 works melaniehendricks 2025-04-07 14:51:58 -07:00
  • 0290872bd1 took out close place and teardown transition to try to help with number of unsafe places melaniehendricks 2025-04-04 14:09:44 -07:00
  • deecf50b8e added 2 closing places melaniehendricks 2025-04-04 10:37:59 -07:00
  • c61c5671d2 closer to a graceful teardown melaniehendricks 2025-04-04 09:08:17 -07:00
  • 300a5f03e4 added 2 teardown places melaniehendricks 2025-04-03 13:40:18 -07:00
  • bc1eae02af still in the process of graceful teardown melaniehendricks 2025-04-03 13:01:18 -07:00
  • 3a49c9fe7f possibility for theirisn_ to have 2 tokens at the same time: fixed melaniehendricks 2025-03-27 13:58:00 -07:00
  • f70fdd7f2b Petri Net adapted from proposal PN (still a work in progress) melaniehendricks 2025-03-24 09:55:30 -07:00
  • 94a1ea3074
         Initial commit Kaushik Narayan Ravishankar 2025-03-06 08:56:38 -07:00