user: orksliver
49 karma | created 9 years ago
recent submissions
13 days ago|discuss
13 days ago|discuss
Petri Nets as a Universal Abstraction
(book.pflow.xyz)
3 pts|13 days ago|1 comment
3 months ago|discuss
3 months ago|discuss
3 pts|3 months ago|2 comments
1 year ago|discuss
1 pts|1 year ago|discuss
1 year ago|discuss
Revisiting the Algebra of Play with Petri.jl
(blog.stackdump.com)
1 pts|1 year ago|1 comment
4 years ago|discuss
Formally Verifiable tic-tac-toe in Bash
(github.com)
1 pts|4 years ago|discuss
7 years ago|discuss
7 years ago|discuss
Using Petri-Nets to Construct Zero Knowledge Proofs
(gist.github.com)
4 pts|7 years ago|2 comments
Petri-Nets as Mental Model for Domain Driven Design
(blahchain.com)
1 pts|8 years ago|discuss
Constructing Domain Specific Languages with Petri-Nets
(blahchain.com)
2 pts|8 years ago|discuss
9 years ago|discuss
9 years ago|discuss
9 years ago|discuss