Simone Agostinelli, Fabrizio Maria Maggi, Andrea Marrella, Massimo Mecella. Verifying Petri Net-Based Process Models using Automated Planning. In 23rd IEEE International Enterprise Distributed Object Computing Workshop, EDOC Workshops 2019, Paris, France, October 28-31, 2019. pages 44-53, IEEE, 2019. [doi]
Abstract is missing.