Solving State Explosion with Petri-Nets and Vector Clocks | Dark Hacker News