https://hackerpaper.kaipfister.de/p/1906.07629/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=25823436urn:hackerpapers:mention:1906.07629:25823436Mon, 18 Jan 2021 16:34:50 GMT<p>The main difference is that a Petri net is basically an hypegraph, where you have directed edges connecting multiple vertexes both in the source and in the target. Graphs give you finite state machines in the obvious way: You mark the vertex you are in and walk the arrows. Hypergraphs give you Petri nets: You mark each vertex as many times as you want and walk the arrows to move marks around. This tells us two things: 1. Petri nets are a calculus of resources. The marking is not telling anymore &quot;what state you are in&quot;. A state is an allocation of resources to each vertex in the net. 2. Petri…</p><p><a href="https://hackerpaper.kaipfister.de/p/1906.07629/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.PL