Business Process Management: A Rigorous Approach is a comprehensive book that presents a rigorous and formal approach to BPM. It covers topics such as process modeling, process analysis, process redesign, and process automation. The book emphasizes the importance of mathematical modeling and formal methods in BPM. With a focus on precision and correctness, this book is suitable for readers who are interested in a more technical and rigorous treatment of BPM.
