Maxim Malinski

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Concurrent Systems

Programmable Logic Controller

Top Venues

Publications

Maxim Malinski, Marcin Wojnakowski, Remigiusz Wisniewski, Andrzej Obuchowicz
Transition Invariants in the Analysis of Concurrent Systems Modelled by Petri Nets. DoCEIS (2024)
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. DoCEIS (2023)