1. Preface
  3. Part I: Foundations
  4. Why Petri Nets?
  5. The Mathematics of Flow
  6. From Discrete to Continuous
  7. The Token Language
  9. Part II: Applications
  10. Resource Modeling — The Coffee Shop
  11. Game Mechanics — Tic-Tac-Toe
  12. Constraint Satisfaction — Sudoku
  13. Optimization — The Knapsack Problem
  14. Biochemistry — Enzyme Kinetics
  15. Complex State Machines — Texas Hold'em
  17. Part III: Advanced Topics
  18. Process Mining
  19. Zero-Knowledge Proofs
  20. Topology-Driven Verification
  21. On-Chain ZK Verification
  22. Exponential Weights and Scoring Systems
  23. Declarative Infrastructure
  25. Part IV: Building with pflow
  26. The Visual Editor — pflow.xyz
  27. Code Generation — From Model to Application
  28. The go-pflow Library
  29. Dual Implementation and Verification
  31. Epilogue
  32. What the Abstraction Sits On
  34. Appendices
  35. Solver Parameter Reference
  36. Token Language Grammar
  37. JSON Schema Reference
  38. Glossary
  39. Categorical Foundations