Parallelization of Petri Nets via Polynomials. - Andrey Grinblat (CoRR, 2015)