1Show HN: A browser music sequencer: every note is a Petri-net transition firing (opens in new tab)(blog.stackdump.com)3orksliver1mo ago0Save
3Using Petri nets as a formal language for LLM-assisted development (opens in new tab)(github.com)GitHub3orksliver6mo ago2Save
4Revisiting the Algebra of Play with Petri.jl (opens in new tab)(blog.stackdump.com)1orksliver1y ago1Save
5Using Petri-Nets to Construct Zero Knowledge Proofs (opens in new tab)(gist.github.com)GitHub4orksliver7y ago2Save
6Petri-Nets as Mental Model for Domain Driven Design (opens in new tab)(blahchain.com)1orksliver8y ago0Save
7Constructing Domain Specific Languages with Petri-Nets (opens in new tab)(blahchain.com)2orksliver8y ago0Save
8Solving State Explosion with Petri-Nets and Vector Clocks (opens in new tab)(github.com)GitHub86orksliver9y ago11Save
