Maxim Malinski

According to our database, Maxim Malinski authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Transition Invariants in the Analysis of Concurrent Systems Modelled by Petri Nets.

Maxim Malinski, Marcin Wojnakowski, Remigiusz Wisniewski, Andrzej Obuchowicz

Proceedings of the Technological Innovation for Human-Centric Systems, 2024

2023

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

Proceedings of the Technological Innovation for Connected Cyber Physical Spaces, 2023