Modeling Overhead
Kind: quality-attribute
Layer: Atomic Boundary
Record: lexicon:modeling-overhead
Canonical: Lexicon
The degree to which formally modeling concurrency as a net adds effort over writing the code directly.
Listed in Lexicon terms, after Deadlock Freedom and before Places and Transitions.