-
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.
-
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.
-
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.
-
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.
-
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.