P-graphs for process systems engineering: mathematical models and algorithms

This book discusses the P-graph framework for developing and understanding effective design tools for process systems engineering, and addresses the current state of its theory and applications. The book details the new philosophy of the axioms-based mathematical modelling of processing systems, the basic algorithms, areas of application, future directions, and the proofs of theorems and algorithms. Because of the rigorous foundation of the theory, the framework provides a firm basis for future research in mathematical modelling, optimization, and design of complex engineering systems. The various P-graph applications discussed include process network synthesis, reliability engineering, and systems resilience. The framework opens new avenues for research in complex systems including redundant operations for critical infrastructure, systems sustainability, and modelling tools for disaster engineering. Demonstration software is provided to facilitate the understanding of the theory. The book will be of interest to institutions, companies, and individuals performing research and R&D in process systems engineering.

Chapter 1. Basic concepts of automatic process design -- Chapter 2. Representation of Process Structures: P-graphs -- Chapter 3. Structural Model of PNS -- Chapter 4. Algorithmic Generation of the Maximal Structure -- Chapter 5. Algorithmic Generation of all Solution Structures -- Chapter 6. Accelerated Branch-and-Bound Algorithm of PNS -- Chapter 7. Literature Review on Research and Applications -- Chapter 8. Case study: Synthesis of production process for adipic acid -- Chapter 9. Enumeration-based Properties of Processing Systems: Reliability & Resilience -- Chapter 10. Formal proof of Algorithm MSG -- Chapter 11. Simplification of the Maximal Structure -- Chapter 12. Formal proof of algorithm SSG -- Chapter 13. Formal proof of algorithm ABB -- Chapter 14. Refined B&B Procedure -- Chapter 15.A Look Ahead B&B Procedure.