"book-pflow-xyz/chapters/appendix-d-glossary.md" . . "A transition is enabled at a marking $\\mathbf{m}$ if every input place has at least as many tokens as the corresponding arc weight: $\\mathbf{m}(p) \\geq W(p, t)$ for all input places $p$. An enabled transition may fire; a disabled one cannot."@en . . "Enabled"@en .