Open geraintpalmer opened 9 years ago
You could just use -1, -2, -3 for the first, second and third deadlock state where you come up with some convention of order?
Could use Δ(i, j, k, ...) where i, j, k,... denote the nodes involved in the deadlock? D and d are already taken in my write up for the state digraph and subgraphs.
Could do yeah... In general delta is used for something that denotes 'change' whereas here it's kind of the opposite... Not terribly important, go with delta for now, can always change it.
On Sun, Apr 19, 2015 at 12:28 PM Geraint Palmer notifications@github.com wrote:
Could use Δ(i, j, k, ...) where i, j, k,... denote the nodes involved in the deadlock? D and d are already taken in my write up for the state digraph and subgraphs.
— Reply to this email directly or view it on GitHub https://github.com/geraintpalmer/DetectingDeadlockInQingNetworkSimulation/issues/10#issuecomment-94267714 .
Call a deadlocked state something other than -1? As when we have more than 1 type of deadlock ill want to distinguish between then.