# The algo records whose force is ad-hoc-lock-ordering (deadlock)

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

## Entries

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