Mateusz Poplawski, Remigiusz Wisniewski, Grzegorz Bazydlo, Maxim Malinski. Preliminary Verification of Liveness in a Control Part of Cyber-Physical Systems Modeled by a Petri Net. In Luis M. Camarinha-Matos, Filipa Ferrada, editors, Technological Innovation for Connected Cyber Physical Spaces - 14th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2023, Caparica, Portugal, July 5-7, 2023, Proceedings. Volume 678 of IFIP Advances in Information and Communication Technology, pages 205-215, Springer, 2023. [doi]
Abstract is missing.