Skip to content

Top New Best Ask Show Jobs

orksliver | Better HN

orksliver

49 karmaJoined March 18, 201724 submissions

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

Recent submissions

1

Petri Nets as a Universal Abstraction (opens in new tab)

(book.pflow.xyz)

3orksliver1mo ago1

2

Using Petri nets as a formal language for LLM-assisted development (opens in new tab)

(github.com)

3orksliver3mo ago2

3

Revisiting the Algebra of Play with Petri.jl (opens in new tab)

(blog.stackdump.com)

1orksliver1y ago1

4

Using Petri-Nets to Construct Zero Knowledge Proofs (opens in new tab)

(gist.github.com)

4orksliver7y ago2

5

Petri-Nets as Mental Model for Domain Driven Design (opens in new tab)

(blahchain.com)

1orksliver8y ago0

6

Constructing Domain Specific Languages with Petri-Nets (opens in new tab)

(blahchain.com)

2orksliver8y ago0

7

Solving State Explosion with Petri-Nets and Vector Clocks (opens in new tab)

(github.com)

86orksliver9y ago11