-
Small Models > LLMs
Why executable formal models matter more than ever in the age of AI — and how LLMs become most useful when constrained by them.
-
Code-to-Flow: Turn Anything into a Petri Net
Convert source code into a visual state machine. Paste code in any language — Go, Python, Rust, Solidity — and get a validated Petri net model you can simulate, analyze, and generate apps from.
-
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.