Diagnosing process trajectories under partially known behavior,G. Friedrich,Wolfgang Mayer,Markus Stumptner

• ...In a later work, Friedrich et al. [FMS10] reformulate the workflow diagnosis problem using on a different logic-based formalism and encoding...
• ...While there are some simplifying assumptions of their approach (e.g., loops are allowed in the model but can be dealt with using loop unfolding techniques), the authors show in [FMS10] that a variety of real-world problems can be modeled and solved with their formalism...

Dietmar Jannach, et al. Exception Handling in Web Service Processes