orksliver

Recent Submissions

1. 1. ▲ Petri Nets as a Universal Abstraction (book.pflow.xyz) 3 points · 1 month ago · 1 comment
2. 2. ▲ Using Petri nets as a formal language for LLM-assisted development (github.com) 3 points · 3 months ago · 2 comments
3. 3. ▲ Revisiting the Algebra of Play with Petri.jl (blog.stackdump.com) 1 point · 1 year ago · 1 comment
4. 4. ▲ Using Petri-Nets to Construct Zero Knowledge Proofs (gist.github.com) 4 points · 7 years ago · 2 comments
5. 5. ▲ Petri-Nets as Mental Model for Domain Driven Design (blahchain.com) 1 point · 8 years ago · 0 comments
6. 6. ▲ Constructing Domain Specific Languages with Petri-Nets (blahchain.com) 2 points · 8 years ago · 0 comments
7. 7. ▲ Solving State Explosion with Petri-Nets and Vector Clocks (github.com) 86 points · 9 years ago · 11 comments