Using Petri nets to parallelize algebraic algorithms

Lukas Ristau. Using Petri nets to parallelize algebraic algorithms. PhD thesis, Kaiserslautern University of Technology, Germany, 2019. [doi]

Abstract

Abstract is missing.