"book-pflow-xyz/chapters/appendix-d-glossary.md" . . "The algebraic relation $\\mathbf{m}' = \\mathbf{m}_0 + \\mathbf{C} \\cdot \\boldsymbol{\\sigma}$ where $\\boldsymbol{\\sigma}$ is the firing count vector (how many times each transition has fired). A necessary but not sufficient condition for reachability — the actual firing sequence must also be valid."@en . . "State equation"@en .