"book-pflow-xyz/chapters/appendix-d-glossary.md" . . "A transition is live if it can eventually fire from every reachable marking (possibly after other transitions fire first). A net is live if all transitions are live. Liveness means the system never permanently loses capability."@en . . "Liveness"@en .