Principles and engineering of process control with Petri nets

Event-related control is considered in which process and related process control can be described by states and transitions that can be represented concisely by a Petri net (PN). Both process and related process control systems are event-related, causal, and concurrent and define a special type of PN using a few primitives that are assembled to form a net for which structural and dynamic invariants apply. The PNs can be used for a general approach to event-related process control in simulating, checking, debugging, and stating the quantitative deviations from the ideal solution for any given process control system. The technique can be applied to continuous or discrete processes, and provides formal checks at all development stages. It allows for components with nonideal behavior and yields numerical performance criteria. The invariants allow the PN to be structured in such a way that even complex process control systems become manageable. Examples are presented for the control tasks in an electrical substation