-
A browser music sequencer where every note is a Petri-net transition firing
The runtime is a Petri net — places hold tokens, transitions fire, that's the music. Same genre+seed = byte-identical output. Share URLs are CIDv1; the address is the track.
-
beats.bitwrap.io is a Jambox Now
Official launch of beats.bitwrap.io as a live-performance tool — content-addressed shareable tracks, full-page Stage visuals, and a hands-free Auto-DJ that runs itself for hours.
-
Petri Nets as a Music Sequencer
A music sequencer built entirely on Petri nets — token rings become drum machines, Euclidean rhythms fall out of the topology, and polyrhythm comes free.
-
March Madness Without Monte Carlo
The incidence matrix of an NCAA bracket Petri net connects ODE, Monte Carlo, and analytical methods — and makes simulation redundant. A closed-form formula derived from the bracket topology replaces 150,000 stochastic transitions with 256 exact configurations.
-
The Category Settle
Settlement networks form a free symmetric monoidal category — the category of all settlement networks built from the same primitives. Open Petri nets make composition, throughput, and conservation laws compositional.
-
Earned Compression
Three independent formalisms — ODE simulation, tropical analysis, and zero-knowledge proof — discover the same structural boundary in a Petri net. The convergence is the proof that the boundary is real.
-
Paper: Incidence Reduction via Petri Net ODE Equilibrium
A draft paper formalizing incidence reduction — extracting exact strategic values from game topologies — validated on tic-tac-toe, poker, Connect Four, and Hex.
-
The Incidence Reduction
ODE steady-state values with uniform rates reveal integer structure — incidence degrees to terminal transitions — giving a reverse-engineering technique for rate constants.
-
Petri Nets as a Universal Abstraction — Now a Book
The blog's models, concepts, and toolchain have been organized into a book-length guide at book.pflow.xyz.