Cargando…

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...

Descripción completa

Detalles Bibliográficos
Autores principales: Grobelna, Iwona, Szcześniak, Paweł
Formato: Online Artículo Texto
Lenguaje:English
Publicado: MDPI 2022
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9500843/
https://www.ncbi.nlm.nih.gov/pubmed/36146285
http://dx.doi.org/10.3390/s22186936

Ejemplares similares