Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets

Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets

Autonomous components within electric power systems can be successfully specified by interpreted Petri nets. Such a formal specification makes it possible to check some basic properties of the models, such as determinism or deadlock freedom. In this paper, it is shown how these models can also be fo...

Full description

Bibliographic Details
Main Authors: Iwona Grobelna, Paweł Szcześniak
Format: Article
Language:English
Published: MDPI AG 2022-09-01
Series:Sensors
Subjects:
control system
model checking
Petri net
power energy system
specification
verification
Online Access:https://www.mdpi.com/1424-8220/22/18/6936

Internet

https://www.mdpi.com/1424-8220/22/18/6936

Similar Items