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...
| Autores principales: | , |
|---|---|
| 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 |