Verifying Petri Net-Based Process Models using Automated Planning.

Simone Agostinelli, Fabrizio Maria Maggi, Andrea Marrella, Massimo Mecella

Browse the full EDOC paper archive.