Petri Nets
Kind: algorithm
Record: algorithms:petri-nets
Canonical: Algorithms
Closure: Dependencies in load order
Model concurrent flow as places, tokens, and transitions, so reachability and deadlock are analyzable before runtime.
Listed in Algorithm contracts, after Statecharts and before Queuing Theory.