Process Plant Operating Procedures presents an introduction to the theory and applications of procedure synthesis that is primarily concerned with the task of conjecturing the sequence of controller (or operator) actions needed to achieve designated operational goals in a given system. In order to facilitate practical implementation, the formal problem statement, two alternative approaches, their validation methods and a series of realistic examples are provided. The authors explore Petri nets and automata to identify the best paths leading to the specified goal of operation. The model-building methods for characterising all components in the given system, as well as the required control specifications, are explained with simple examples. The sequential control actions and the corresponding time schedule can then be identified accordingly. This book exposes practitioners to an important area of plant operations, teaching them effective approaches for procedure synthesis, enabling them to construct and solve scheduling models, and providing them with tools for simulation and validation of procedures and schedules. It is written for readers with a basic understanding of process design and control activities, and it will appeal to engineers in diverse fields with an interest in synthesizing operating procedures in process plants. Advances in Industrial Control reports and encourages the transfer of technology in control engineering. The rapid development of control technology has an impact on all areas of the control discipline. The series offers an opportunity for researchers to present an extended exposition of new work in all aspects of industrial control.