Remigiusz Wiśniewski

University of Zielona Góra — Poland

Computer Science · Physical Sciences

20h-index1.2kcitations127works3.82yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Petri Nets in System Modeling(61), Formal Methods in Verification(45), Embedded Systems Design Techniques(25), Real-Time Systems Scheduling(23), Flexible and Reconfigurable Manufacturing Systems(20)

Publications127 total

A novel method for vulnerability detection based on fusion and hyperbolic neural network graphs
IEEE Transactions on Software Engineering·2026
Efficiency and Effectiveness Analysis of Invariant Coverage Verification Methods for Petri net-based Concurrent Systems
2025
Decomposition of Petri Net Toward Enhancement of Decision-Making in Manufacturing Systems
2025
Some Limitations of Structure-Based Methods for Deadlock Detection Problems of $\mathrm{S}^{4} \text{PR}$
2025
A Polynomial-Time Algorithm for Detection of Uncovered Transitions in a Petri Net-Based Concurrent System
Applied Sciences·2025· 4 citedOpen Access
A reachability-decidable petri net modeling method and its application to flexible manufacturing systems
IET conference proceedings.·2024
A Reachability-Decidable Petri Net Modeling Method for Discrete Event Systems
IEEE Transactions on Systems Man and Cybernetics Systems·2024· 21 cited
Design and Optimization of a Petri Net-Based Concurrent Control System toward a Reduction in the Resources in a Field-Programmable Gate Array
Applied Sciences·2024· 2 citedOpen Access
Optimal Sensor Selection for Diagnosability Enforcement in Labeled Petri Nets
IEEE Transactions on Systems Man and Cybernetics Systems·2024· 19 cited
Transition Invariants in the Analysis of Concurrent Systems Modelled by Petri Nets
IFIP advances in information and communication technology·2024Open Access
Bounded and place invariant-covered Petri nets for cyber-physical systems specification
AIP conference proceedings·2024· 2 citedOpen Access
A Polynomial-Time Algorithm for Detecting Potentially Unbounded Places in a Petri Net-Based Concurrent System
Lecture notes in computer science·2024
Initial verification of liveness property in the control part of cyber-physical systems modelled by Petri nets
AIP conference proceedings·2024Open Access
Applying additive manufacturing technologies to a supply chain: A Petri net-based decision model
International Journal of Applied Mathematics and Computer Science·2024· 5 citedOpen Access
Trusted Third Party Application in Durable Medium e-Service
Applied Sciences·2023· 6 citedOpen Access
Supremal and Robust Control Against Actuator Jamming Attacks in Cyber-Physical Systems
IEEE Transactions on Intelligent Vehicles·2023· 3 cited
Supervisory Control of Cyber-Physical Systems Subject to Actuator Jamming Attacks
2023· 1 cited
Fast Verification of Petri Net-Based Model of Industrial Decision-Making Systems: A Case Study
2023· 10 cited
Modeling and Analysis of a Petri Net-Based System Supporting Implementation of Additive Manufacturing Technologies
IEEE Transactions on Automation Science and Engineering·2023· 13 cited
Decomposition of a Petri Net-Based Cyber-Physical System toward Implementation as an Integrated System within FPGA
Applied Sciences·2023· 3 citedOpen Access
page 1 of 7Next →

Frequent Co-authors

Marcin Wojnakowski(16), Grzegorz Bazydło(10), M. Wiśniewska(7), Łukasz Stefanowicz(7), Iwona Grobelna(6), Andrei Karatkevich(5), Justyna Patalas‐Maliszewska(5), Marcin Topczak(5), Marian Adamski(4), Paweł Szcześniak(4), M. Adamski(4), Anikó Costa(3), Lúıs Gomes(3), Aniruddha Bhattacharjya(3), Michał Grobelny(2), Alexander Barkalov(2), Larysa Titarenko(2), Wolfgang A. Halang(2), Kamil Kozdrój(2), Jakub Lipiński(2)