<https://ontology.pflow.xyz/term/p-invariant> <http://purl.org/dc/terms/source> "book-pflow-xyz/chapters/appendix-d-glossary.md" .
<https://ontology.pflow.xyz/term/p-invariant> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<https://ontology.pflow.xyz/term/p-invariant> <http://www.w3.org/2004/02/skos/core#definition> "A vector $\\mathbf{y} \\geq \\mathbf{0}$ such that $\\mathbf{y}^T \\mathbf{C} = \\mathbf{0}$. The weighted sum $\\mathbf{y}^T \\mathbf{m}$ is constant for all reachable markings. P-invariants prove conservation laws — they identify quantities that are preserved by every transition firing (Chapter 2)."@en .
<https://ontology.pflow.xyz/term/p-invariant> <http://www.w3.org/2004/02/skos/core#inScheme> <https://ontology.pflow.xyz/term/scheme/core> .
<https://ontology.pflow.xyz/term/p-invariant> <http://www.w3.org/2004/02/skos/core#prefLabel> "P-invariant"@en .
<https://ontology.pflow.xyz/term/p-invariant> <https://ontology.pflow.xyz/ns#coveredInChapter> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .