Next Article in Journal
An Automated Machine-Learning Approach for Road Pothole Detection Using Smartphone Sensor Data
Next Article in Special Issue
A Possible World-Based Fusion Estimation Model for Uncertain Data Clustering in WBNs
Previous Article in Journal
Electrochemical Immuno- and Aptamer-Based Assays for Bacteria: Pros and Cons over Traditional Detection Schemes
 
 
Article

Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets

1
Institute of Automatics, Electronics and Electrical Engineering, University of Zielona Góra, 65-417 Zielona Góra, Poland
2
Department of Applied Computer Science, AGH University of Science and Technology, 30-059 Kraków, Poland
*
Author to whom correspondence should be addressed.
Sensors 2020, 20(19), 5565; https://doi.org/10.3390/s20195565
Received: 14 August 2020 / Revised: 22 September 2020 / Accepted: 24 September 2020 / Published: 28 September 2020
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 (related to sensors and actuators) that permit communication with the environment. The notions of weak and strong determinism in a system described by a CIPN are introduced in the paper. The proposed concepts are supported by formal definitions and theorems. Moreover, a novel modelling methodology for a deterministic system specified by a CIPN is proposed. The presented solutions are illustrated by a case study example of a real-life cyber-physical system. Finally, the results of experimental verification of the proposed determinism-based techniques are demonstrated and discussed. View Full-Text
Keywords: Petri nets; determinism; control logic; control systems; cyber-physical systems Petri nets; determinism; control logic; control systems; cyber-physical systems
Show Figures

Figure 1

MDPI and ACS Style

Wisniewski, R.; Grobelna, I.; Karatkevich, A. Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets. Sensors 2020, 20, 5565. https://doi.org/10.3390/s20195565

AMA Style

Wisniewski R, Grobelna I, Karatkevich A. Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets. Sensors. 2020; 20(19):5565. https://doi.org/10.3390/s20195565

Chicago/Turabian Style

Wisniewski, Remigiusz, Iwona Grobelna, and Andrei Karatkevich. 2020. "Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets" Sensors 20, no. 19: 5565. https://doi.org/10.3390/s20195565

Find Other Styles
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map by Country/Region

1
Back to TopTop