Prototyping of concurrent control systems implemented in FPGA devices

von Wiśniewski, Remigiusz
Veröffentlicht 2017

Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems

von Wojnakowski, Marcin
Veröffentlicht in IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (12. : 2021 : Costa da Caparica) Technological innovation for applied AI systems (2021)

A Polynomial-Time Algorithm for Detecting Potentially Unbounded Places in a Petri Net-Based Concurrent System

von Wojnakowski, Marcin
Veröffentlicht in International Workshop on Scalable Compute Continuum (1. : 2023 : Limassol) Euro-Par 2023: parallel processing workshops ; Part 2 (2024)

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)

Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems

von Wojnakowski, Marcin
Veröffentlicht in IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (13. : 2022 : Caparica) Technological innovation for digitalization and virtualization (2022)

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)