In: IEEE Trans. Power Delivery, Vol. 5, No. 4, pages 1766-1772. October 1990.
Abstract: The authors show how dynamical and structural properties of Petri nets can be used in proving important assertions about integrated control systems. Methods of reducing complexity with Petri net specifications are illustrated. A condition/event net reduction is done. A tightly coupled set of automatic switching sequences is modeled and verified with Petri nets, specifying nontrivial bus and transformer operations in electric power distribution substations.
Keywords: design (and) verification (of) concurrent switching sequences (with nets); integrated control system; complexity reduction; condition/event net reduction; liveness; bus (and) transformer operations (in) electric power distribution substations.