Preliminary Verification of Liveness in a Control Part of Cyber-Physical Systems Modeled by a Petri Net

von Poplawski, Mateusz
Veröffentlicht in Doctoral Conference on Computing, Electrical and Industrial Systems (14. : 2023 : Caparica) Technological innovation for connected cyber physical spaces (2023)

Preface of the “Symposium on Logic Synthesis and Control Systems"

von Czerwinski, Robert
Veröffentlicht in International Conference of Computational Methods in Sciences and Engineering (16. : 2020 : Online) International Conference of Computational Methods in Sciences and Engineering ICCMSE 2020 (2021)