# Modeling Overhead

> The degree to which formally modeling concurrency as a net adds effort over writing the code directly.

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

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

## Category

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

## In tension with

- [Petri Nets](https://banes-lab.com/records/architecture/petri-nets.md)
- [Petri Nets / Modeling Overhead](https://banes-lab.com/records/tension/modeling-overhead-petri-nets.md)

## Linked from

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