Use Patricks PN-Solver

5 jobs for feature/patrizio2dvorversuch in 7 minutes and 32 seconds (queued for 1 second)