For the most recent entries see the Petri Nets Newsletter.

Design and Verification of Concurrent Switching Sequences with Petri Nets.

Pinto de Sa, J.L.; Sucena Paiva, J.P.

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography