Power System Operation Modeling, Monitoring and Control using Petri Nets Topics: Control and Supervision Systems; Modeling, Analysis and Control of Discrete-Event Systems; Modeling, Simulation and Architecture; Systems Modeling and Simulation; Systems Modeling and Simulation In Proceedings of the 19th International Conference on Informatics in Control, Automation and Robotics ICINCO - Volume 1, 658-667, 2022 , Lisbon, Portugal