a0de31f353
completed prototype
2025-05-30 01:15:40 -07:00
208d3993b9
added petri net with RSTs and more, per the RFC
2025-05-15 06:06:55 -07:00
bmixonba
bc9e2d495a
Merge pull request #1 from bmixonba/main
...
Added Conntrack-related code
2025-05-02 22:32:53 -06:00
BB
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.
2025-05-02 22:29:28 -06:00
melaniehendricks
0bd126ed7e
Create TCP-sample.PNPRO
2025-04-25 11:08:53 -07:00
melaniehendricks
786bef11f5
GRACEFUL TEARDOWN SUCCESS!! @#$!^%
2025-04-10 13:50:20 -07:00
melaniehendricks
9e868b528d
added multiple ACKF2 places to account for multiple scenarios.
...
It seemed like a good idea initially, but now I'm not so sure..
2025-04-08 14:17:05 -07:00
melaniehendricks
24c78a3b13
FIN, ACK/FIN2, ACK2 works
2025-04-07 14:51:58 -07:00
melaniehendricks
0290872bd1
took out close place and teardown transition to try to help with number of unsafe places
2025-04-04 14:09:44 -07:00
melaniehendricks
deecf50b8e
added 2 closing places
2025-04-04 10:37:59 -07:00
melaniehendricks
c61c5671d2
closer to a graceful teardown
2025-04-04 09:08:17 -07:00
melaniehendricks
300a5f03e4
added 2 teardown places
2025-04-03 13:40:18 -07:00
melaniehendricks
bc1eae02af
still in the process of graceful teardown
...
removed places (close, close_) and a couple transitions to simplify it
2025-04-03 13:01:18 -07:00
melaniehendricks
3a49c9fe7f
possibility for theirisn_ to have 2 tokens at the same time: fixed
2025-03-27 13:58:00 -07:00
melaniehendricks
f70fdd7f2b
Petri Net adapted from proposal PN (still a work in progress)
2025-03-24 09:55:30 -07:00
94a1ea3074
Initial commit
2025-03-06 08:56:38 -07:00
