HN Explorer

orksliver

↗ HN profile [ 51.9 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: A browser music sequencer: every note is a Petri-net transition firing (blog.stackdump.com)
    3 points 1
  2. Petri Nets as a Universal Abstraction (book.pflow.xyz)
    3 points 1
  3. Using Petri nets as a formal language for LLM-assisted development (github.com)
    3 points 1
  4. 1 points 1
  5. Revisiting the Algebra of Play with Petri.jl (blog.stackdump.com)
    1 points 1
  6. Formally Verifiable tic-tac-toe in Bash (github.com)
    1 points 1
  7. Using Petri-Nets to Construct Zero Knowledge Proofs (gist.github.com)
    4 points 2
  8. Petri-Nets as Mental Model for Domain Driven Design (blahchain.com)
    1 points 0
  9. Constructing Domain Specific Languages with Petri-Nets (blahchain.com)
    2 points 0