Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems
Authors
Marcin Wojnakowski
Institute of Control and Computation Engineering, University of Zielona Góra, Zielona Góra, Poland
Remigiusz Wiśniewski
Institute of Control and Computation Engineering, University of Zielona Góra, Zielona Góra, Poland
Grzegorz Bazydło
Institute of Control and Computation Engineering, University of Zielona Góra, Zielona Góra, Poland
Mateusz Popławski
Institute of Control and Computation Engineering, University of Zielona Góra, Zielona Góra, Poland
Language: English
Page range: 647 - 657
Submitted on: Apr 27, 2021
Accepted on: Sep 4, 2021
Published on: Dec 30, 2021
Published by: University of Zielona Góra
In partnership with: Paradigm Publishing Services
Publication frequency: 4 times per year
Keywords:
Related subjects:
© 2021 Marcin Wojnakowski, Remigiusz Wiśniewski, Grzegorz Bazydło, Mateusz Popławski, published by University of Zielona Góra
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.