# Algorithm contracts whose force is ad-hoc-lock-ordering (deadlock)

> 1 record

This index as JSON: https://banes-lab.com/json/api/facets/algorithms/force/ad-hoc-lock-ordering-deadlock

## Entries

- [Petri Nets](https://banes-lab.com/records/algorithms/petri-nets.md): Model concurrent flow as places, tokens, and transitions, so reachability and deadlock are analyzable before runtime.