user: orksliver

49 karma | created 9 years ago

Petri-net Maximalist / building pflow.xyz: a visual state machine SDK for web3

recent submissions

(no title)

13 days ago|discuss

(no title)

13 days ago|discuss

Petri Nets as a Universal Abstraction (book.pflow.xyz)

3 pts|13 days ago|1 comment

(no title)

3 months ago|discuss

(no title)

3 months ago|discuss

Using Petri nets as a formal language for LLM-assisted development (github.com)

3 pts|3 months ago|2 comments

(no title)

1 year ago|discuss

(no title)

1 pts|1 year ago|discuss

(no title)

1 year ago|discuss

Revisiting the Algebra of Play with Petri.jl (blog.stackdump.com)

1 pts|1 year ago|1 comment

(no title)

4 years ago|discuss

Formally Verifiable tic-tac-toe in Bash (github.com)

1 pts|4 years ago|discuss

(no title)

7 years ago|discuss

(no title)

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

(no title)

9 years ago|discuss

(no title)

9 years ago|discuss

(no title)

9 years ago|discuss