Verifying Petri Net-Based Process Models using Automated Planning | IEEE Conference Publication | IEEE Xplore