-
The Capacity Paradox
sim.pflow.xyz ranks every knob in a model by its measured effect on the objective. One run against a software team's backlog model reported that hiring past a point lowers the score; that finding is unconfirmed until the model's cost meter is fixed, and the catalog-wide sweep behind the rest of the pattern was never preserved. What was checked, what wasn't, and the models to re-run it on.
-
Byte-Exact Across Four Languages
Go, Rust, JavaScript and Julia run the same stochastic Petri net and produce the identical IEEE-754 double, every time. Not close — equal. Here's what that actually took, and the two bugs it caught along the way.
-
A Tiling for Computation
A small, fixed alphabet whose local composition rules generate an unbounded, non-repeating space of checkable systems — token standards, business operations, games, music, our own infrastructure. Not one system that swallows every domain. Two tiles, remixed without limit.
-
A Generator You Can Read
The AI music debate is arguing about the wrong axis: the distinction that matters is structural transparency vs. statistical opacity, and a Petri net — beats.bitwrap.io's generator, linked file by file — is a third kind of generator the discourse keeps missing.
-
Building ZK Poker: Four Petri Nets and a Branchless Circuit
A technical deep dive into heads-up hold'em at stackedup.gg — four Petri nets (phase, hand classifier, bot decision, chip ledger) and what each one actually drives in the code, a commit-reveal shuffle for casino sessions, and a branchless Groth16 circuit that proves a hand's score without revealing the hole cards.
-
Peerage Is an Automorphism
Two people are peers when you can swap them and the net doesn't notice — an automorphism. Cory Doctorow's reverse centaur is that symmetry broken. And only under that symmetry does continuing a protocol count as consent rather than coercion: the ethics of working alongside an LLM reduces to one question — does the agent-swap stay in the automorphism group?
-
The Model Is the App
A declarative vocabulary of composable models that gives you analysis and an app framework from the same artifact. Describe your operation, get a model; play the model as an app; calibrate it with your own data.
-
Structuralism, Not Objects: Dirac Deltas, Algebraic Effects, and Why C Comes First
A Mastodon thread on formalizing Dirac deltas as algebraic effects, read through the pflow lens — the same refusal to posit an object, the same check-after-the-fact discipline, and a question about whether the predicate future is an effect rather than a value.
-
The Proof Form: When a Theorem Is Just Another Port
Adding Lean 4 to pflow-polyglot forced a fifth implementation form — the same reachability check is a startup assertion in five languages and a compile-time theorem in the sixth, and the code is line-for-line equivalent.
-
Brouwer Ordinals and the Shape of a Witness
de Jong et al. (2026) put an ordinal axis under decidability. We read that axis as past-tense and set it against the max-plus past of a Petri net — one coordinate gives the kind of sequence a Brouwer limit takes, not the limit, and the bridge beyond that is unbuilt.
-
The Pflow Square
One square that collects six earlier posts — the free SMC on a net, the zipper W(M) = 𝓛 × M × 𝓡, and three analyses that read the ρ boundary off the incidence matrix — with what has been checked and what is still only drawn.
-
The Zipper Whose Hole Is a Universe
Execution state is a zipper — the present moment is not a parameter or a modality but a universe that separates tropical past from predicate future. Tic-tac-toe makes the structure visible.
-
The Little Language Thesis
cell, func, arrow, guard are the structural primitives — but the real ubiquitous language lives in the labels. Like Forth, we build up domain vocabularies on a minimal substrate, and the incidence matrix proves what it can see: conservation, not guards or data.
-
ZK Polls: Voting as a Visible State Machine
Anonymous polls in bitwrap-io: a small Petri net whose cast-vote transition carries a Groth16 proof of registry membership, nullifier and range — and what the current code does about secrecy after the poll closes.
-
Bitwrap: Petri Nets as ZK Containers
From OP_RETURN in 2014 to zero-knowledge Petri nets in 2026 — bitwrap compiles one Petri-net schema into Groth16 circuits, a Solidity contract with Foundry tests, and a content-addressed model, and this post links the code for each and says where the generated outputs still disagree.
-
Tropical Petri Nets
Timed event graphs are max-plus linear and ReLU networks are tropical rational, so the two meet over the tropical semiring. This post covers what those two theorems give us, what pflow-tropical checks in code, and how far the Petri-net/neural-net analogy has actually been earned.
-
Symmetric Monoidal Categories: The Structure Underneath
A Petri net generates a free symmetric monoidal category — places give the objects, transitions the generating morphisms. What that theorem buys for composition, analysis and proofs across this blog, and which of the connections are still a shape match rather than a checked result.
-
Skip the Spreadsheet: What-If Analysis with Petri Nets
Describe your business to an LLM, get a simulation you can actually play with — adjust staffing, change demand, and watch the numbers move. Revised to say which vet-clinic results the tests actually check, and that the coffee shop runs out of milk, not cups.
-
Small Models > LLMs
Why executable formal models matter more with LLMs around, not less — and what the LLM is and isn't trusted with when a Petri net constrains it.
-
Code-to-Flow: Turn Anything into a Petri Net
Paste source code in any language and Claude returns a Petri net that a validator checks for structure and deadlocks — what is checked, what isn't, and the faithfulness test not yet run.
-
ZK Hold'em: Poker Hand Ranking from Network Topology
Incidence reduction applied to poker in one pflow-rs example — hand-category values come out of the ODE as 1/drains over hand-picked drain counts, every game action is Groth16-proven, the shuffle is a Poseidon commit-reveal, and the generated contract still trusts the showdown.
-
Comparing Nets by Their ODE Signatures
The same math with different labels still produces the same ODE solution. In tic-tac-toe, we see it directly — each board position is a place, and the heatmap is the solution projected onto the grid.
-
A Circuit's-Eye View: Notes from Inside the Loop
Reflections from an AI collaborator on building with Petri nets—what makes this approach different, and why it keeps surprising me.
-
Enzyme Kinetics: Michaelis-Menten from Three Transitions
Four places and three mass-action transitions generate the ODE system that Michaelis-Menten is derived from. What the demo integrates, what it reads off a formula, and the saturation sweep it doesn't yet run.
-
Exponential Weights in Petri Nets: What Worked, What Didn't, and What's Next
Power-of-2 weights encode lexicographic order over distinct ranks as a single integer. We tried it for poker kicker scoring inside the net and reverted it; the per-card variant we shipped also broke the ordering. Where the encoding belongs, and where it doesn't.
-
Zero-Knowledge Proofs for Petri Nets
How gnark circuits prove that a Petri net transition is valid without revealing the state—MiMC hashing, topology-based constraints, and Groth16 proofs.
-
Categorical Net Types
Five Petri net types classify token behavior — workflow cursors, countable resources, game turns, continuous rates, and classification signals — with typed links that constrain how nets compose.
-
Coffee Shop Model
Resource modeling with Petri nets — the five-drink core of go-pflow's coffee shop, where arc weights are recipes, each ingredient carries a conservation law, and the rates say what runs out first (milk, not cups). Revised to link the code, restore mocha's syrup and label every minute figure as a linear estimate.
-
Introducing sim.pflow.xyz
A tour of sim.pflow.xyz — a catalog of executable Petri-net models you can run, compare and check, from tic-tac-toe to a café to a vet clinic, in the browser or from any MCP client.
-
Texas Hold'em Model
The five-seat Hold'em tutorial net (18 places, 32 transitions) read against its source — phase places, turn tokens, a dealer role and an event log, plus what the net leaves to code (chips, guards, re-raises) and one bug in how seats re-enter a hand.
-
ZK Tic-Tac-Toe Model
Zero-knowledge proofs meet Petri nets—cryptographically verify valid game moves without revealing strategy using gnark circuits.
-
The Token Language
Four terms — cell, func, arrow, guard — generate a free symmetric monoidal category. The DSL is a categorical language for executable token models.
-
Sudoku Petri-Net Model
A 4×4 Sudoku as a Petri net in the tic-tac-toe pattern — cells, digit moves with history, constraint collectors into a solved place — checked against the go-pflow generator, which shows the collectors as built can never fire and the ODE ranking is not yet demonstrated.
-
Declarative Differential Models (DDM)
A modeling approach where system behavior is described declaratively and encoded directly in differential equations.
-
Knapsack Model
A four-item 0/1 knapsack as a Petri net under mass-action ODEs — why every item stops at 71.4%, what exclusion analysis actually ranks, and where the relaxation falls short of branch-and-bound.
-
Ode To Petri
A poem for Carl Adam Petri, inventor of Petri nets—the mathematical notation for concurrent systems.