Sign in
Marcin Wojnakowski
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 12
Top Topics
Petri Net
Linear Algebra
Cyber Physical
Shop Floor
Top Venues
SMC
IECON
DoCEIS
Petri Nets
</>
Publications
</>
Remigiusz Wisniewski
,
Justyna Patalas-Maliszewska
,
Marcin Wojnakowski
,
Marcin Topczak
,
Mengchu Zhou
Fast Verification of Petri Net-Based Model of Industrial Decision-Making Systems: A Case Study.
SMC
(2023)
Remigiusz Wisniewski
,
Grzegorz Bazydlo
,
Marcin Wojnakowski
,
Mateusz Poplawski
Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems.
Petri Nets
(2023)
Justyna Patalas-Maliszewska
,
Remigiusz Wisniewski
,
Marcin Topczak
,
Marcin Wojnakowski
Modelling of the effectiveness of integrating additive manufacturing technologies into Petri net-based manufacturing systems.
FUZZ-IEEE
(2022)
Marcin Wojnakowski
,
Remigiusz Wisniewski
,
Mateusz Poplawski
,
Grzegorz Bazydlo
Analysis of Control Part of Cyber-Physical Systems Specified by Interpreted Petri Nets.
SMC
(2022)
Remigiusz Wisniewski
,
Justyna Patalas-Maliszewska
,
Marcin Wojnakowski
,
Marcin Topczak
Interpreted Petri Nets in Modelling and Analysis of Physical Resilient Manufacturing Systems.
SMC
(2022)
Marcin Wojnakowski
,
Mateusz Poplawski
,
Remigiusz Wisniewski
,
Grzegorz Bazydlo
Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems.
DoCEIS
(2022)
Marcin Wojnakowski
,
Remigiusz Wisniewski
,
Grzegorz Bazydlo
,
Mateusz Poplawski
Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems.
Int. J. Appl. Math. Comput. Sci.
31 (4) (2021)
Marcin Wojnakowski
,
Remigiusz Wisniewski
Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems.
DoCEIS
(2021)
Remigiusz Wisniewski
,
Grzegorz Bazydlo
,
Pawel Szczesniak
,
Marcin Wojnakowski
Petri Net-Based Specification of Cyber-Physical Systems Oriented to Control Direct Matrix Converters With Space Vector Modulation.
IEEE Access
7 (2019)
Remigiusz Wisniewski
,
Grzegorz Bazydlo
,
Luís Gomes
,
Anikó Costa
,
Marcin Wojnakowski
Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools.
IECON
(2019)
Iwona Grobelna
,
Remigiusz Wisniewski
,
Marcin Wojnakowski
Specification of Cyber-Physical Systems with the Application of Interpreted Nets.
IECON
(2019)
Remigiusz Wisniewski
,
Andrei Karatkevich
,
Lukasz Stefanowicz
,
Marcin Wojnakowski
Decomposition of distributed edge systems based on the Petri nets and linear algebra technique.
J. Syst. Archit.
96 (2019)