Ristau, LukasLukasRistau2024-12-102024-12-102019https://publica.fraunhofer.de/handle/publica/479840enUsing Petri nets to parallelize algebraic algorithmsdoctoral thesis