8 Commits

Author	SHA1	Message	Date
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