"book-pflow-xyz/chapters/appendix-d-glossary.md" . . "A net is bounded if every place has a finite maximum token count across all reachable markings. A net is $k$-bounded if no place ever exceeds $k$ tokens. Boundedness is a safety property — it guarantees the system can't accumulate unbounded resources."@en . . "Bounded"@en .