Using Petri nets to model and analysis the start and stop sequence control of an electric power generating unit

This paper presents the implementation of an approach for modeling and analysis control algorithms using Interpreted Petri Nets, more specifically Process Interpreted Petri Nets and Signal Interpreted Petri Nets. The work emphasizes the development and implementation of the start and stop sequence control of an electric power generating unit in the supervision level, focusing on formal specification of the control algorithm. It identifies the needs of the application of a formal method for the development of this type of control, describes the methodology, its advantages and benefits, with some application examples for Formalization and Analysis phase.