"book-pflow-xyz/chapters/appendix-d-glossary.md" . . "A marking where no transition is enabled. The system is stuck — no further computation is possible. Deadlock detection is a key analysis performed by the reachability package."@en . . "Deadlock"@en .