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