Business Process Management: A Rigorous Approach is a comprehensive book that presents a rigorous and formal approach to BPM. It introduces mathematical models and formal methods for analyzing and designing business processes. This book covers various topics, including process algebra, Petri nets, and process mining. It also discusses the application of formal methods in process verification, validation, and optimization. If you are interested in the mathematical foundations of BPM and want to explore advanced techniques, this book is an excellent resource.
