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