Cargando…
Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets
In this paper, we study selected aspects of determinism in the control part of a cyber-physical system (CPS) that is specified by a Petri net-based model. In particular, the control interpreted Petri nets (CIPNs) are applied, which are an extension of the ordinary Petri nets, supplemented by signals...
Autores principales: | Wisniewski, Remigiusz, Grobelna, Iwona, Karatkevich, Andrei |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
MDPI
2020
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7582862/ https://www.ncbi.nlm.nih.gov/pubmed/32998420 http://dx.doi.org/10.3390/s20195565 |
Ejemplares similares
-
Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets
por: Grobelna, Iwona, et al.
Publicado: (2022) -
Formal Verification of Control Modules in Cyber-Physical Systems
por: Grobelna, Iwona
Publicado: (2020) -
A PetriNet-Based Approach for Supporting Traceability in Cyber-Physical Manufacturing Systems
por: Huang, Jiwei, et al.
Publicado: (2016) -
Extended Hierarchical Fuzzy Interpreted Petri Net
por: Markiewicz, Michał, et al.
Publicado: (2021) -
Coloured Petri nets
por: Jensen, Kurt
Publicado: (1992)