Solving State Explosion with Petri-Nets and Vector Clocksgithub.com/bitwrap86 pointsorksliver9 years ago