| 2025 | SMC | Efficiency and Effectiveness Analysis of Invariant Coverage Verification Methods for Petri net-based Concurrent Systems. | Marcin Wojnakowski, Remigiusz Wisniewski, M. Zhou, Z. Li, Maxim Malinski, Andrzej Obuchowicz, D. Konarczak |
| 2023 | EuroPar | A Polynomial-Time Algorithm for Detecting Potentially Unbounded Places in a Petri Net-Based Concurrent System. | Marcin Wojnakowski, Remigiusz Wisniewski, Mateusz Poplawski |
| 2023 | SMC | Fast Verification of Petri Net-Based Model of Industrial Decision-Making Systems: A Case Study. | Remigiusz Wisniewski, Justyna Patalas-Maliszewska, Marcin Wojnakowski, Marcin Topczak, Mengchu Zhou |
| 2022 | SMC | Interpreted Petri Nets in Modelling and Analysis of Physical Resilient Manufacturing Systems. | Remigiusz Wisniewski, Justyna Patalas-Maliszewska, Marcin Wojnakowski, Marcin Topczak |
| 2022 | SMC | Analysis of Control Part of Cyber-Physical Systems Specified by Interpreted Petri Nets. | Marcin Wojnakowski, Remigiusz Wisniewski, Mateusz Poplawski, Grzegorz Bazydlo |
| 2019 | IECON | Specification of Cyber-Physical Systems with the Application of Interpreted Nets. | Iwona Grobelna, Remigiusz Wisniewski, Marcin Wojnakowski |
| 2019 | IECON | Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools. | Remigiusz Wisniewski, Grzegorz Bazydlo, Lus Gomes, Anik Costa, Marcin Wojnakowski |