Use Patricks PN-Solver

5 jobs for feature/patrizio2dvorversuch in 7 minutes and 27 seconds (queued for 2 seconds)