Professor Ferenc Friedler graduated in mathematics in 1977, received CSc degree (1990) and Doctor of Science degree (1995) in process systems engineering. His main research activity is related to the developments of effective methods for the design and operation of complex engineering systems. Together with late Professor L.T. Fan, he is a co-founder of the P-graph framework that provides a theoretical basis for modelling a wide range of applications in process systems engineering. Supervised more than one hundred national and international R&D projects. Founder, chair, and co-chair of international scientific conferences and founder of academic organizations including university department, doctoral school, and faculty. He was the rector of University of Pannonia in Hungary from 2011 to 2015. Currently, he is a professor and scientific director at the Research Center of Vehicle Industry, Széchenyi István University, Győr, Hungary. Honored with several awards including Knight's Cross Order of Merit of Hungary, 2003; Polinszky Prize, 2006; John von Neumann Prize, 2007; Leo Szilard Professorship, 2008; Dennis Gabor Prize, 2008; Széchenyi Prize, 2010; Bolyai Memorial Award, 2010; Egervary Memorial Award, 2010; Honorary doctorate, National Technical University Kharkiv, 2012.Ákos Orosz received MSc degree at the University of Pannonia in computer science in 2015. During the studies, he specialized in computer programming, especially in optimization algorithms. He started the PhD studies in 2015 in the field of processing systems synthesis with the P-graph-based reliability assessment of processes. The research topics widened later, expanding to the synthesis of heat exchanger networks and water treatment networks, together with other novel applications of the P-graph framework. He became an assistant lecturer at the University of Pannonia in 2018.Jean Pimentel Losada, PhD student in the program of Chemical-Bio-and Environmental Engineering at the Budapest University of Technology and Economics (BME). His career as chemical engineer has focused on the synthesis, optimization, and control of chemical and biochemical processes. Received his MSc in chemical engineering from the National University of Colombia in 2020. Currently works in the research, optimization, and analysis of relevant industrial problems. He has performed key tasks in the field of process systems engineering (PSE), such as the algorithmic synthesis of processes by means of the P-graph framework, the modelling of reaction kinetic laws, the determination of parameters for thermodynamical models, the optimization of operations, and the modelling and simulation of units and process networks.

• 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

Professor Ferenc Friedler graduated in mathematics in 1977, received CSc degree (1990) and Doctor of Science degree (1995) in process systems engineering. His main research activity is related to the developments of effective methods for the design and operation of complex engineering systems. Together with late Professor L.T. Fan, he is a co-founder of the P-graph framework that provides a theoretical basis for modelling a wide range of applications in process systems engineering. Supervised more than one hundred national and international R&D projects. Founder, chair, and co-chair of international scientific conferences and founder of academic organizations including university department, doctoral school, and faculty. He was the rector of University of Pannonia in Hungary from 2011 to 2015. Currently, he is a professor and scientific director at the Research Center of Vehicle Industry, Széchenyi István University, Győr, Hungary. Honored with several awards including Knight's Cross Order of Merit of Hungary, 2003; Polinszky Prize, 2006; John von Neumann Prize, 2007; Leo Szilard Professorship, 2008; Dennis Gabor Prize, 2008; Széchenyi Prize, 2010; Bolyai Memorial Award, 2010; Egervary Memorial Award, 2010; Honorary doctorate, National Technical University Kharkiv, 2012.Ákos Orosz received MSc degree at the University of Pannonia in computer science in 2015. During the studies, he specialized in computer programming, especially in optimization algorithms. He started the PhD studies in 2015 in the field of processing systems synthesis with the P-graph-based reliability assessment of processes. The research topics widened later, expanding to the synthesis of heat exchanger networks and water treatment networks, together with other novel applications of the P-graph framework. He became an assistant lecturer at the University of Pannonia in 2018.Jean Pimentel Losada, PhD student in the program of Chemical-Bio-and Environmental Engineering at the Budapest University of Technology and Economics (BME). His career as chemical engineer has focused on the synthesis, optimization, and control of chemical and biochemical processes. Received his MSc in chemical engineering from the National University of Colombia in 2020. Currently works in the research, optimization, and analysis of relevant industrial problems. He has performed key tasks in the field of process systems engineering (PSE), such as the algorithmic synthesis of processes by means of the P-graph framework, the modelling of reaction kinetic laws, the determination of parameters for thermodynamical models, the optimization of operations, and the modelling and simulation of units and process networks.

• 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

Professor Ferenc Friedler graduated in mathematics in 1977, received CSc degree (1990) and Doctor of Science degree (1995) in process systems engineering. His main research activity is related to the developments of effective methods for the design and operation of complex engineering systems. Together with late Professor L.T. Fan, he is a co-founder of the P-graph framework that provides a theoretical basis for modelling a wide range of applications in process systems engineering. Supervised more than one hundred national and international R&D projects. Founder, chair, and co-chair of international scientific conferences and founder of academic organizations including university department, doctoral school, and faculty. He was the rector of University of Pannonia in Hungary from 2011 to 2015. Currently, he is a professor and scientific director at the Research Center of Vehicle Industry, Széchenyi István University, Győr, Hungary. Honored with several awards including Knight's Cross Order of Merit of Hungary, 2003; Polinszky Prize, 2006; John von Neumann Prize, 2007; Leo Szilard Professorship, 2008; Dennis Gabor Prize, 2008; Széchenyi Prize, 2010; Bolyai Memorial Award, 2010; Egervary Memorial Award, 2010; Honorary doctorate, National Technical University Kharkiv, 2012.Ákos Orosz received MSc degree at the University of Pannonia in computer science in 2015. During the studies, he specialized in computer programming, especially in optimization algorithms. He started the PhD studies in 2015 in the field of processing systems synthesis with the P-graph-based reliability assessment of processes. The research topics widened later, expanding to the synthesis of heat exchanger networks and water treatment networks, together with other novel applications of the P-graph framework. He became an assistant lecturer at the University of Pannonia in 2018.Jean Pimentel Losada, PhD student in the program of Chemical-Bio-and Environmental Engineering at the Budapest University of Technology and Economics (BME). His career as chemical engineer has focused on the synthesis, optimization, and control of chemical and biochemical processes. Received his MSc in chemical engineering from the National University of Colombia in 2020. Currently works in the research, optimization, and analysis of relevant industrial problems. He has performed key tasks in the field of process systems engineering (PSE), such as the algorithmic synthesis of processes by means of the P-graph framework, the modelling of reaction kinetic laws, the determination of parameters for thermodynamical models, the optimization of operations, and the modelling and simulation of units and process networks.

• 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