This book takes a rigorous approach to Business Process Management (BPM), providing a theoretical foundation for understanding BPM concepts and techniques. It covers topics such as process modeling, process analysis, process redesign, and process implementation. The book introduces formal methods and techniques for BPM, including Petri nets, process algebras, and process calculi. It also discusses the role of information systems in BPM and the integration of BPM with other management disciplines. With its emphasis on rigor and formalism, this book is suitable for researchers and advanced students in the field of BPM.
