Marcin Wojnakowski

17 papers B 6C 2Journal 5Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Efficiency and Effectiveness Analysis of Invariant Coverage Verification Methods for Petri net-based Concurrent Systems. SMC Marcin Wojnakowski, Remigiusz Wisniewski, M. Zhou, Z. Li, Maxim Malinski, Andrzej Obuchowicz, D. Konarczak
2025	J	`jnl`	Modeling and Analysis of a Petri Net-Based System Supporting Implementation of Additive Manufacturing Technologies. IEEE Trans Autom. Sci. Eng. Remigiusz Wisniewski, Justyna Patalas-Maliszewska, Marcin Wojnakowski, Marcin Topczak
2024	J	`jnl`	Applying additive manufacturing technologies to a supply chain: A Petri net-based decision model. Int. J. Appl. Math. Comput. Sci. Justyna Patalas-Maliszewska, Remigiusz Wisniewski, MengChu Zhou, Marcin Topczak, Marcin Wojnakowski
2024	—	`conf`	Transition Invariants in the Analysis of Concurrent Systems Modelled by Petri Nets. DoCEIS Maxim Malinski, Marcin Wojnakowski, Remigiusz Wisniewski, Andrzej Obuchowicz
2023	—	`conf`	A Polynomial-Time Algorithm for Detecting Potentially Unbounded Places in a Petri Net-Based Concurrent System. Euro-Par Workshops Marcin Wojnakowski, Remigiusz Wisniewski, Mateusz Poplawski
2023	B	`conf`	Fast Verification of Petri Net-Based Model of Industrial Decision-Making Systems: A Case Study. SMC Remigiusz Wisniewski, Justyna Patalas-Maliszewska, Marcin Wojnakowski, Marcin Topczak, MengChu Zhou
2023	B	`conf`	Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems. Petri Nets Remigiusz Wisniewski, Grzegorz Bazydlo, Marcin Wojnakowski, Mateusz Poplawski
2022	B	`conf`	Analysis of Control Part of Cyber-Physical Systems Specified by Interpreted Petri Nets. SMC Marcin Wojnakowski, Remigiusz Wisniewski, Mateusz Poplawski, Grzegorz Bazydlo
2022	—	`conf`	Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems. DoCEIS Marcin Wojnakowski, Mateusz Poplawski, Remigiusz Wisniewski, Grzegorz Bazydlo
2022	B	`conf`	Interpreted Petri Nets in Modelling and Analysis of Physical Resilient Manufacturing Systems. SMC Remigiusz Wisniewski, Justyna Patalas-Maliszewska, Marcin Wojnakowski, Marcin Topczak
2022	B	`conf`	Modelling of the effectiveness of integrating additive manufacturing technologies into Petri net-based manufacturing systems. FUZZ-IEEE Justyna Patalas-Maliszewska, Remigiusz Wisniewski, Marcin Topczak, Marcin Wojnakowski
2021	J	`jnl`	Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems. Int. J. Appl. Math. Comput. Sci. Marcin Wojnakowski, Remigiusz Wisniewski, Grzegorz Bazydlo, Mateusz Poplawski
2021	—	`conf`	Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems. DoCEIS Marcin Wojnakowski, Remigiusz Wisniewski
2019	C	`conf`	Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools. IECON Remigiusz Wisniewski, Grzegorz Bazydlo, Luís Gomes, Anikó Costa, Marcin Wojnakowski
2019	J	`jnl`	Decomposition of distributed edge systems based on the Petri nets and linear algebra technique. J. Syst. Archit. Remigiusz Wisniewski, Andrei Karatkevich, Lukasz Stefanowicz, Marcin Wojnakowski
2019	J	`jnl`	Petri Net-Based Specification of Cyber-Physical Systems Oriented to Control Direct Matrix Converters With Space Vector Modulation. IEEE Access Remigiusz Wisniewski, Grzegorz Bazydlo, Pawel Szczesniak, Marcin Wojnakowski
2019	C	`conf`	Specification of Cyber-Physical Systems with the Application of Interpreted Nets. IECON Iwona Grobelna, Remigiusz Wisniewski, Marcin Wojnakowski