This book introduces readers to the field of conformance checking as a whole and outlines the fundamental relation between modelled and recorded behaviour. Conf

Process mining techniques can be used to discover, analyze and improve real processes, by extracting models from observed behavior. The aim of this book is conf

Many SaaS providers nowadays want to leverage the cloud’s capabilities also for their existing applications, for example, to enable sound scalability and cost

More and more information about business processes is recorded by information systems in the form of so-called “event logs”. Despite the omnipresence of suc

This book constitutes the refereed proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering, FASE 2001, held in Genova,