This book develops a framework for the detection of formal errors in business process models and the prediction of error probability. It precisely describes Event-driven Process Chains, their control flow semantics, and a suitable correctness criterion.
Read More
This book develops a framework for the detection of formal errors in business process models and the prediction of error probability. It precisely describes Event-driven Process Chains, their control flow semantics, and a suitable correctness criterion.
Read Less