Marcin Wojnakowski

According to our database, Marcin Wojnakowski authored at least 14 papers between 2019 and 2024.

Collaborative distances:

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

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

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

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023

A Polynomial-Time Algorithm for Detecting Potentially Unbounded Places in a Petri Net-Based Concurrent System.

Marcin Wojnakowski, Remigiusz Wisniewski, Mateusz Poplawski

Proceedings of the Euro-Par 2023: Parallel Processing Workshops - Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28, 2023

Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems.

Remigiusz Wisniewski, Grzegorz Bazydlo, Marcin Wojnakowski, Mateusz Poplawski

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022

Analysis of Control Part of Cyber-Physical Systems Specified by Interpreted Petri Nets.

Marcin Wojnakowski, Remigiusz Wisniewski, Mateusz Poplawski, Grzegorz Bazydlo

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

Interpreted Petri Nets in Modelling and Analysis of Physical Resilient Manufacturing Systems.

Remigiusz Wisniewski, Justyna Patalas-Maliszewska, Marcin Wojnakowski, Marcin Topczak

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 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

Proceedings of the IEEE International Conference on Fuzzy Systems, 2022

Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems.

Marcin Wojnakowski, Mateusz Poplawski, Remigiusz Wisniewski, Grzegorz Bazydlo

Proceedings of the Technological Innovation for Digitalization and Virtualization, 2022

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

Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems.

Marcin Wojnakowski, Remigiusz Wisniewski

Proceedings of the Technological Innovation for Applied AI Systems, 2021

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

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

Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools.

Remigiusz Wisniewski, Grzegorz Bazydlo, Luís Gomes, Anikó Costa, Marcin Wojnakowski

Proceedings of the IECON 2019, 2019

Specification of Cyber-Physical Systems with the Application of Interpreted Nets.

Iwona Grobelna, Remigiusz Wisniewski, Marcin Wojnakowski

Proceedings of the IECON 2019, 2019