Verifying Petri Net-Based Process Models using Automated Planning