Skip to content

Top New Best Ask Show Jobs

orksliver | Better HN

orksliver

49 karmaJoined March 18, 201726 submissions

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

Recent submissions

1

Show HN: A browser music sequencer: every note is a Petri-net transition firing (opens in new tab)

(blog.stackdump.com)

3orksliver10d ago0

2

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

(book.pflow.xyz)

3orksliver2mo ago1

3

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

(github.com)

3orksliver5mo ago2

4

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

(blog.stackdump.com)

1orksliver1y ago1

5

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

(gist.github.com)

4orksliver7y ago2

6

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

(blahchain.com)

1orksliver8y ago0

7

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

(blahchain.com)

2orksliver8y ago0

8

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

(github.com)

86orksliver9y ago11