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

Descripción completa

Detalles Bibliográficos
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