HN
Paper
All
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
orksliver
Show HN: A browser music sequencer: every note is a Petri-net transition firing
3 points
orksliver
2026-04-30T14:40:30Z
blog.stackdump.com
Petri Nets as a Universal Abstraction
3 points
orksliver
2026-02-16T20:16:07Z
book.pflow.xyz
Using Petri nets as a formal language for LLM-assisted development
3 points
orksliver
2025-11-30T16:15:28Z
github.com
1 points
orksliver
2024-12-31T14:12:18Z
news.ycombinator.com
Revisiting the Algebra of Play with Petri.jl
1 points
orksliver
2024-12-16T02:43:36Z
blog.stackdump.com
Formally Verifiable tic-tac-toe in Bash
1 points
orksliver
2021-05-22T16:39:57Z
github.com
Using Petri-Nets to Construct Zero Knowledge Proofs
4 points
orksliver
2019-03-01T14:32:06Z
gist.github.com
Petri-Nets as Mental Model for Domain Driven Design
1 points
orksliver
2017-08-22T17:13:03Z
www.blahchain.com
Constructing Domain Specific Languages with Petri-Nets
2 points
orksliver
2017-08-11T07:17:04Z
www.blahchain.com
Solving State Explosion with Petri-Nets and Vector Clocks
86 points
orksliver
2017-03-18T05:47:33Z
github.com