Specification of Cyber-Physical Systems with the Application of Interpreted Nets. - Iwona Grobelna; Remigiusz Wisniewski; Marcin Wojnakowski (IECON, 2019)

Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools. - Remigiusz Wisniewski; Grzegorz Bazydlo; Luís Gomes 001; Anikó Costa; Marcin Wojnakowski (IECON, 2019)

Petri Net-Based Specification of Cyber-Physical Systems Oriented to Control Direct Matrix Converters With Space Vector Modulation. - Remigiusz Wisniewski; Grzegorz Bazydlo; Pawel Szczesniak; Marcin Wojnakowski (IEEE Access, 2019)

Decomposition of distributed edge systems based on the Petri nets and linear algebra technique. - Remigiusz Wisniewski; Andrei Karatkevich; Lukasz Stefanowicz; Marcin Wojnakowski (J. Syst. Archit., 2019)

Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems. - Marcin Wojnakowski; Remigiusz Wisniewski (DoCEIS, 2021)

Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems. - Marcin Wojnakowski; Remigiusz Wisniewski; Grzegorz Bazydlo; Mateusz Poplawski (Int. J. Appl. Math. Comput. Sci., 2021)

Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems. - Marcin Wojnakowski; Mateusz Poplawski; Remigiusz Wisniewski; Grzegorz Bazydlo (DoCEIS, 2022)

Modelling of the effectiveness of integrating additive manufacturing technologies into Petri net-based manufacturing systems. - Justyna Patalas-Maliszewska; Remigiusz Wisniewski; Marcin Topczak; Marcin Wojnakowski (FUZZ-IEEE, 2022)

Interpreted Petri Nets in Modelling and Analysis of Physical Resilient Manufacturing Systems. - Remigiusz Wisniewski; Justyna Patalas-Maliszewska; Marcin Wojnakowski; Marcin Topczak (SMC, 2022)

Analysis of Control Part of Cyber-Physical Systems Specified by Interpreted Petri Nets. - Marcin Wojnakowski; Remigiusz Wisniewski; Mateusz Poplawski; Grzegorz Bazydlo (SMC, 2022)

Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems. - Remigiusz Wisniewski; Grzegorz Bazydlo; Marcin Wojnakowski; Mateusz Poplawski (Petri Nets, 2023)

A Polynomial-Time Algorithm for Detecting Potentially Unbounded Places in a Petri Net-Based Concurrent System. - Marcin Wojnakowski; Remigiusz Wisniewski; Mateusz Poplawski (Euro-Par Workshops, 2023)

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 (SMC, 2023)

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

Applying additive manufacturing technologies to a supply chain: A Petri net-based decision model. - Justyna Patalas-Maliszewska; Remigiusz Wisniewski; Mengchu Zhou; Marcin Topczak; Marcin Wojnakowski (Int. J. Appl. Math. Comput. Sci., 2024)

Modeling and Analysis of a Petri Net-Based System Supporting Implementation of Additive Manufacturing Technologies. - Remigiusz Wisniewski; Justyna Patalas-Maliszewska; Marcin Wojnakowski; Marcin Topczak (IEEE Trans Autom. Sci. Eng., 2025)