I made a Petri net model! For actual real-life work things. It’s 8 variants of the dining philosophers.
2 of them deadlock; one of them surprisingly and one of them doesn’t even thought I thought it might.
I made a Petri net model! For actual real-life work things. It’s 8 variants of the dining philosophers.
2 of them deadlock; one of them surprisingly and one of them doesn’t even thought I thought it might.