Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems
, , und
30. Dez. 2021
Über diesen Artikel
Online veröffentlicht: 30. Dez. 2021
Seitenbereich: 647 - 657
Eingereicht: 27. Apr. 2021
Akzeptiert: 04. Sept. 2021
DOI: https://doi.org/10.34768/amcs-2021-0045
Schlüsselwörter
© 2021 Marcin Wojnakowski et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
Wojnakowski, Marcin
Institute of Control and Computation Engineering, University of Zielona GóraZielona Góra, Poland
Wiśniewski, Remigiusz
Institute of Control and Computation Engineering, University of Zielona GóraZielona Góra, Poland
Bazydło, Grzegorz
Institute of Control and Computation Engineering, University of Zielona GóraZielona Góra, Poland
Popławski, Mateusz
Institute of Control and Computation Engineering, University of Zielona GóraZielona Góra, Poland