"book-pflow-xyz/chapters/appendix-d-glossary.md" . . . "The distribution of tokens across all places at a given moment; the state of the Petri net. Written as a vector $\\mathbf{m}$ where $\\mathbf{m}(p)$ is the token count at place $p$. The initial marking $\\mathbf{m}_0$ is the starting state."@en . . "Marking"@en .