genpark-petri-net-reachability-invariants-skill
Petri net state transition simulator and reachability graph explorer for concurrent and distributed protocol verification.
Details
- External ID
- 1363482521
- Source
- GITHUB
- Company
- —
- Product
- genpark-petri-net-reachability-invariants-skill
- Website domain
- github.com
- Launched
- Sept. 10, 2026
- Cohort
- —
- Upvotes
- 7
- Upvotes percentile
- 0.05976172175249808
- Tags
- agentic-ai, concurrency-verification, discrete-events, formal-methods, genpark-skill, petri-net, reachability-graph
- Fetched at
- Sept. 14, 2026, 1:02 a.m.
- Updated at
- Sept. 14, 2026, 1:02 a.m.
Enrichment
- Theme
- low-level systems and developer tools
- Vertical
- Horizontal
- Function
- Dev tools
- Audience
- Developer
- AI stance
- Not AI
- Project type
- Hobby / open-source project
- Normalized one-liner
- petri net simulator and reachability graph explorer for protocol verification
- Manually corrected
- False
Could you build this?
Yes Petri net state simulators and reachability graph generation are standard graph traversal algorithms that an LLM can easily generate from scratch.
Competitors
Other products that read as similar to this one — 1103 launches clear the similarity bar, closest 8 shown.
Attention rank: #973 of 1104 (itself plus its competitors, highest first — normalized so YC and Product Hunt are compared fairly).
Launched 314 days after the earliest competitor.
- blackbox · github · 2026-09-23 · 14 upvotes · similarity 0.60
- Salt · hn · 2026-07-01 · 44 upvotes · similarity 0.58
- genpark-hoare-logic-axiomatic-verifier-skill · github · 2026-09-28 · 7 upvotes · similarity 0.56
- dasp · github · 2026-09-25 · 13 upvotes · similarity 0.54
- Toolkit · hn · 2026-03-08 · 6 upvotes · similarity 0.54
- genpark-vector-clock-causal-order-tracker-skill · github · 2026-09-28 · 7 upvotes · similarity 0.54
- genpark-percolator-distributed-transaction-protocol-skill · github · 2026-09-28 · 7 upvotes · similarity 0.54
- genpark-percolator-distributed-transaction-protocol-skill · github · 2026-09-28 · 7 upvotes · similarity 0.54
Other launches for this product
- No other launches for this product.
Same idea, different domain
Nobody's really built a dev tools tool for Sales yet.