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