Y Hacker News new | ask | show | jobs

user: orksliver created: 2017-03-18 karma: 49 Petri-net Maximalist / building pflow.xyz: a visual state machine SDK for web3 submissions: Show HN: A browser music sequencer: every note is a Petri-net transition firing 3 points | 0 comments 0 points | 0 comments 0 points | 0 comments Petri Nets as a Universal Abstraction 3 points | 1 comments 0 points | 0 comments 0 points | 0 comments Using Petri nets as a formal language for LLM-assisted development 3 points | 2 comments 0 points | 0 comments 0 points | 0 comments Revisiting the Algebra of Play with Petri.jl 1 points | 1 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Using Petri-Nets to Construct Zero Knowledge Proofs 4 points | 2 comments Petri-Nets as Mental Model for Domain Driven Design 1 points | 0 comments Constructing Domain Specific Languages with Petri-Nets 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Solving State Explosion with Petri-Nets and Vector Clocks 86 points | 11 comments