Marcin Wojnakowski

Orcid: 0000-0002-9830-9262

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Transition Invariants in the Analysis of Concurrent Systems Modelled by Petri Nets.
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.
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.
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.
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.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

Interpreted Petri Nets in Modelling and Analysis of Physical Resilient Manufacturing Systems.
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.
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.
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.
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.
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.
J. Syst. Archit., 2019

Petri Net-Based Specification of Cyber-Physical Systems Oriented to Control Direct Matrix Converters With Space Vector Modulation.
IEEE Access, 2019

Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools.
Proceedings of the IECON 2019, 2019

Specification of Cyber-Physical Systems with the Application of Interpreted Nets.
Proceedings of the IECON 2019, 2019


  Loading...