Places and Transitions
Kind: constraint
Layer: Atomic Boundary
Record: lexicon:places-and-transitions
Canonical: Lexicon
The requirement that a modeled system be expressed as places holding tokens and transitions that move them.
Listed in Lexicon terms, after Modeling Overhead and before Reachability and Deadlock Analysis.