# Concurrent-Flow Modeling

> The ability to model concurrent token flow explicitly so its behavior can be analyzed.

Record: `lexicon:concurrent-flow-modeling`
Kind: capability
Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md)
Canonical: https://banes-lab.com/ontology/lexicon#lexicon-concurrent-flow-modeling

Listed in [Lexicon terms](https://banes-lab.com/api/records/lexicon.md), after [Concurrency Correctness](https://banes-lab.com/records/lexicon/concurrency-correctness.md) and before [Deadlock Freedom](https://banes-lab.com/records/lexicon/deadlock-freedom.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)