# Modeling Overhead

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

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

## 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)