Preliminary Verification of Liveness in a Control Part of Cyber-Physical Systems Modeled by a Petri Net. - Mateusz Poplawski; Remigiusz Wisniewski; Grzegorz Bazydlo; Maxim Malinski (DoCEIS, 2023)

Transition Invariants in the Analysis of Concurrent Systems Modelled by Petri Nets. - Maxim Malinski; Marcin Wojnakowski; Remigiusz Wisniewski; Andrzej Obuchowicz (DoCEIS, 2024)