Stories by orksliver

Show HN: A browser music sequencer: every note is a Petri-net transition firing

Petri Nets as a Universal Abstraction

Using Petri nets as a formal language for LLM-assisted development

Revisiting the Algebra of Play with Petri.jl

Formally Verifiable tic-tac-toe in Bash

Using Petri-Nets to Construct Zero Knowledge Proofs

Petri-Nets as Mental Model for Domain Driven Design

Constructing Domain Specific Languages with Petri-Nets

Solving State Explosion with Petri-Nets and Vector Clocks