Reduction of the memory size in the microprogrammed controllers. - Monika Wisniewska; Remigiusz Wisniewski; Marek Wegrzyn; Norian Marranghello (EWDTS, 2011)

Design of microprogrammed controllers with address converter implemented on programmable systems with embedded memories. - Remigiusz Wisniewski; Monika Wisniewska; Marek Wegrzyn; Norian Marranghello (EWDTS, 2011)

Design of microprogrammed controllers to be implemented in FPGAs. - Remigiusz Wisniewski; Alexander Barkalov 001; Larysa Titarenko; Wolfgang A. Halang (Int. J. Appl. Math. Comput. Sci., 2011)

Application of an Exact Transversal Hypergraph in Selection of SM-Components. - Lukasz Stefanowicz; Marian Adamski; Remigiusz Wisniewski (DoCEIS, 2013)

Dual synthesis of Petri net based dependable logic controllers for safety critical systems. - Arkadiusz Bukowiec; Jacek Tkacz; Marian Adamski; Remigiusz Wisniewski (HSI, 2014)

Decomposition, validation and documentation of control process specification in form of a Petri net. - Iwona Grobelna; Monika Wisniewska; Remigiusz Wisniewski; Michal Grobelny; Piotr Mroz (HSI, 2014)

Application of comparability graphs in decomposition of Petri nets. - Remigiusz Wisniewski; Andrei Karatkevich; Marian Adamski; Daniel Kur (HSI, 2014)

Application of Hypergraphs to SMCs Selection. - Lukasz Stefanowicz; Marian Adamski; Remigiusz Wisniewski; Jakub Lipinski (DoCEIS, 2014)

Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in FPGA Devices. - Remigiusz Wisniewski; Grzegorz Bazydlo; Luís Gomes 001; Anikó Costa (IEEE Trans. Ind. Informatics, 2017)

Design and Verification of Real-Life Processes With Application of Petri Nets. - Iwona Grobelna; Remigiusz Wisniewski; Michal Grobelny; Monika Wisniewska (IEEE Trans. Syst. Man Cybern. Syst., 2017)

Dynamic Partial Reconfiguration of Concurrent Control Systems Specified by Petri Nets and Implemented in Xilinx FPGA Devices. - Remigiusz Wisniewski (IEEE Access, 2018)

Design of Multi-Context Reconfigurable Logic Controllers Implemented in FPGA Devices Oriented for Further Partial Reconfiguration. - Remigiusz Wisniewski; Iwona Grobelna (J. Circuits Syst. Comput., 2018)

Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs. - Remigiusz Wisniewski; Andrei Karatkevich; Marian Adamski; Anikó Costa; Luís Gomes 001 (IEEE Trans. Control. Syst. Technol., 2018)

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)

IEEE Access Special Section: Cyber-Physical Systems. - Remigiusz Wisniewski; Grzegorz Benysek; Luís Gomes 001; Dariusz Kania; Theodore E. Simos; Mengchu Zhou (IEEE Access, 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)

C-Exact Hypergraphs in Concurrency and Sequentiality Analyses of Cyber-Physical Systems Specified by Safe Petri Nets. - Remigiusz Wisniewski; Monika Wisniewska; Marcin Jarnut (IEEE Access, 2019)

SVM algorithm oriented for implementation in a low-cost Xilinx FPGA. - Remigiusz Wisniewski; Grzegorz Bazydlo; Pawel Szczesniak (Integr., 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)

Low-Cost FPGA Hardware Implementation of Matrix Converter Switch Control. - Remigiusz Wisniewski; Grzegorz Bazydlo; Pawel Szczesniak (IEEE Trans. Circuits Syst. II Express Briefs, 2019)

Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets. - Remigiusz Wisniewski; Iwona Grobelna; Andrei Karatkevich (Sensors, 2020)

A Polynomial-Time Algorithm to Obtain State Machine Cover of Live and Safe Petri Nets. - Andrei Karatkevich; Remigiusz Wisniewski (IEEE Trans. Syst. Man Cybern. Syst., 2020)

Special Issue on Recent Advances in Petri Nets, Automata, and Discrete-Event Hybrid Systems. - Remigiusz Wisniewski; Mengchu Zhou; Luís Gomes 001; Maria Pia Fanti; Ratnesh Kumar 001 (IEEE Trans. Syst. Man Cybern. Syst., 2020)

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)

Special Issue on Optimization of Cross-layer Collaborative Resource Allocation for Mobile Edge Computing, Caching and Communication. - Shaohua Wan 001; Remigiusz Wisniewski; George C. Alexandropoulos; Zonghua Gu 001; Pierluigi Siano (Comput. Commun., 2022)

Trusted and Secure Blockchain-Based Durable Medium Electronic Service. - Grzegorz Bazydlo; Remigiusz Wisniewski; Kamil Kozdrój (Cryptogr., 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)

Preliminary Verification of Liveness in a Control Part of Cyber-Physical Systems Modeled by a Petri Net. - Mateusz Poplawski; Remigiusz Wisniewski; Grzegorz Bazydlo; Maxim Malinski (DoCEIS, 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)

Supervisory Control of Cyber-Physical Systems Subject to Actuator Jamming Attacks. - Wenli Duo; Shouguang Wang; MengChu Zhou; Dan You; Remigiusz Wisniewski; Grzegorz Bazydlo (ICNSC, 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)

Optimal Sensor Selection for Diagnosability Enforcement in Labeled Petri Nets. - Shaopeng Hu; Zhiwu Li 001; Remigiusz Wisniewski (IEEE Trans. Syst. Man Cybern. Syst., 2024)

Supremal and Robust Control Against Actuator Jamming Attacks in Cyber-Physical Systems. - Wenli Duo; Shouguang Wang; MengChu Zhou; Dan You; Remigiusz Wisniewski; Grzegorz Bazydlo; Aiiad Albeshri (IEEE Trans. Intell. Veh., 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)

A Reachability-Decidable Petri Net Modeling Method for Discrete Event Systems. - Yue Su; MengChu Zhou; Liang Qi 001; Remigiusz Wisniewski (IEEE Trans. Syst. Man Cybern. Syst., 2025)