| user: | orksliver |
| created: | March 18, 2017 |
| karma: | 49 |
| about: | Petri-net Maximalist / building pflow.xyz: a visual state machine SDK for web3 |
| 1. | Show HN: A browser music sequencer: every note is a Petri-net transition firing(blog.stackdump.com) |
| 2. | Petri Nets as a Universal Abstraction(book.pflow.xyz) |
| 3. | |
| 4. | |
| 5. | Revisiting the Algebra of Play with Petri.jl(blog.stackdump.com) |
| 6. | Formally Verifiable tic-tac-toe in Bash(github.com) |
| 7. | Using Petri-Nets to Construct Zero Knowledge Proofs(gist.github.com) |
| 8. | Petri-Nets as Mental Model for Domain Driven Design(blahchain.com) |
| 9. | Constructing Domain Specific Languages with Petri-Nets(blahchain.com) |
| 10. |