# Reachability and Deadlock Analysis

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

Record: `lexicon: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#lexicon-reachability-and-deadlock-analysis

Listed in [Lexicon terms](https://banes-lab.com/api/records/lexicon.md), after [Places and Transitions](https://banes-lab.com/records/lexicon/places-and-transitions.md) and before [Metrics](https://banes-lab.com/records/lexicon/metrics.md).

## Category

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

## Enabled by

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

## Linked from

- [Transactions / State / Concurrency](https://banes-lab.com/ontology/principles/architecture-category-transactions-state-concurrency.md)
- [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md)