In: Proceedings of the Ninth Power Systems Computation Conference,, pages 820-824. 1987.
Abstract: This paper deals with the real-time scheduling of power transformers in a distribution substation, with loss minimization. A functional specification of the function is presented. In order to introduce rigour and ensure a high level of security in the description of the interconnections among the whole set of cooperative and concurrent automata, a formal specification tool with computer aided validation capabilities is proposed, the interpreted Petri nets.