# Reachability and Deadlock Analysis

> The ability to analyze which states a concurrent model can reach and whether any of them deadlock.

Record: `lex:reachability-and-deadlock-analysis`
Kind: capability
Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md)
Canonical: https://banes-lab.com/ontology/lexicon#lex-reachability-and-deadlock-analysis

## category

- [Transactions / State / Concurrency](https://banes-lab.com/records/lex-category/transactions-state-concurrency.md)

## referenced-by

- [Petri Nets](https://banes-lab.com/records/arch/petri-nets.md)