Reachability and Deadlock Analysis
Kind: capability
Layer: Atomic Boundary
Record: lexicon:reachability-and-deadlock-analysis
Canonical: Lexicon
The ability to analyze which states a concurrent model can reach and whether any of them deadlock.
Listed in Lexicon terms, after Places and Transitions and before Reconciliation Job.