| 2025 | SMC | Decomposition of Petri Net Toward Enhancement of Decision-Making in Manufacturing Systems. | Monika Wisniewska, Justyna Patalas-Maliszewska, Remigiusz Wisniewski, Marcin Topczak, M. Zhou, Z. Li, D. Konarczak |
| 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 |
| 2014 | HSI | Dual synthesis of Petri net based dependable logic controllers for safety critical systems. | Arkadiusz Bukowiec, Jacek Tkacz, Marian Adamski, Remigiusz Wisniewski |
| 2014 | HSI | Decomposition, validation and documentation of control process specification in form of a Petri net. | Iwona Grobelna, Monika Wisniewska, Remigiusz Wisniewski, Michal Grobelny, Piotr Mroz |
| 2014 | HSI | Application of comparability graphs in decomposition of Petri nets. | Remigiusz Wisniewski, Andrei Karatkevich, Marian Adamski, Daniel Kur |