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...