OpenAlex is a bibliographic catalogue of scientific papers, authors and institutions accessible in open access mode, named after the Library of Alexandria. It's citation coverage is excellent and I hope you will find utility in this listing of citing articles!
If you click the article title, you'll navigate to the article, as listed in CrossRef. If you click the Open Access links, you'll navigate to the "best Open Access location". Clicking the citation count will open this listing for that article. Lastly at the bottom of the page, you'll find basic pagination options.
Requested Article:
Design and Verification of Petri-Net-Based Cyber-Physical Systems Oriented toward Implementation in Field-Programmable Gate Arrays—A Case Study Example
Remigiusz Wiśniewski, Marcin Wojnakowski, Zhiwu Li
Energies (2022) Vol. 16, Iss. 1, pp. 67-67
Open Access | Times Cited: 14
Remigiusz Wiśniewski, Marcin Wojnakowski, Zhiwu Li
Energies (2022) Vol. 16, Iss. 1, pp. 67-67
Open Access | Times Cited: 14
Showing 14 citing articles:
A Polynomial-Time Algorithm for Detection of Uncovered Transitions in a Petri Net-Based Concurrent System
Marcin Wojnakowski, Maxim Maliński, Remigiusz Wiśniewski, et al.
Applied Sciences (2025) Vol. 15, Iss. 2, pp. 680-680
Open Access | Times Cited: 1
Marcin Wojnakowski, Maxim Maliński, Remigiusz Wiśniewski, et al.
Applied Sciences (2025) Vol. 15, Iss. 2, pp. 680-680
Open Access | Times Cited: 1
A refinement and abstraction method of the SPZN formal model for intelligent networked vehicles systems
Yang Liu, Yingqi Fan, Ling Zhao, et al.
KSII Transactions on Internet and Information Systems (2024) Vol. 18, Iss. 1
Open Access | Times Cited: 9
Yang Liu, Yingqi Fan, Ling Zhao, et al.
KSII Transactions on Internet and Information Systems (2024) Vol. 18, Iss. 1
Open Access | Times Cited: 9
Designing Reconfigurable Cyber-Physical Systems Using Unified Modeling Language
Grzegorz Bazydło
Energies (2023) Vol. 16, Iss. 3, pp. 1273-1273
Open Access | Times Cited: 10
Grzegorz Bazydło
Energies (2023) Vol. 16, Iss. 3, pp. 1273-1273
Open Access | Times Cited: 10
Fast Verification of Petri Net-Based Model of Industrial Decision-Making Systems: A Case Study
Remigiusz Wiśniewski, Justyna Patalas‐Maliszewska, Marcin Wojnakowski, et al.
2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC) (2023) Vol. 31, pp. 3316-3322
Closed Access | Times Cited: 4
Remigiusz Wiśniewski, Justyna Patalas‐Maliszewska, Marcin Wojnakowski, et al.
2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC) (2023) Vol. 31, pp. 3316-3322
Closed Access | Times Cited: 4
Design and Optimization of a Petri Net-Based Concurrent Control System toward a Reduction in the Resources in a Field-Programmable Gate Array
Remigiusz Wiśniewski, Adam Opara, Marcin Wojnakowski
Applied Sciences (2024) Vol. 14, Iss. 12, pp. 5212-5212
Open Access | Times Cited: 1
Remigiusz Wiśniewski, Adam Opara, Marcin Wojnakowski
Applied Sciences (2024) Vol. 14, Iss. 12, pp. 5212-5212
Open Access | Times Cited: 1
A Polynomial-Time Algorithm for Detecting Potentially Unbounded Places in a Petri Net-Based Concurrent System
Marcin Wojnakowski, Remigiusz Wiśniewski, Mateusz Popławski
Lecture notes in computer science (2024), pp. 277-283
Closed Access
Marcin Wojnakowski, Remigiusz Wiśniewski, Mateusz Popławski
Lecture notes in computer science (2024), pp. 277-283
Closed Access
Transition Invariants in the Analysis of Concurrent Systems Modelled by Petri Nets
Maxim Maliński, Marcin Wojnakowski, Remigiusz Wiśniewski, et al.
IFIP advances in information and communication technology (2024), pp. 269-279
Closed Access
Maxim Maliński, Marcin Wojnakowski, Remigiusz Wiśniewski, et al.
IFIP advances in information and communication technology (2024), pp. 269-279
Closed Access
An automated qualitative analysis of real-time systems using Timed Petri net and SPIN
Tanuja Shailesh, Ashalatha Nayak, Devi Prasad
Cogent Engineering (2024) Vol. 11, Iss. 1
Open Access
Tanuja Shailesh, Ashalatha Nayak, Devi Prasad
Cogent Engineering (2024) Vol. 11, Iss. 1
Open Access
Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems
Remigiusz Wiśniewski, Grzegorz Bazydło, Marcin Wojnakowski, et al.
Lecture notes in computer science (2023), pp. 191-204
Closed Access | Times Cited: 1
Remigiusz Wiśniewski, Grzegorz Bazydło, Marcin Wojnakowski, et al.
Lecture notes in computer science (2023), pp. 191-204
Closed Access | Times Cited: 1
Decomposition of a Petri Net-Based Cyber-Physical System toward Implementation as an Integrated System within FPGA
Remigiusz Wiśniewski, Anikó Costa, Marcin Wojnakowski, et al.
Applied Sciences (2023) Vol. 13, Iss. 12, pp. 7137-7137
Open Access | Times Cited: 1
Remigiusz Wiśniewski, Anikó Costa, Marcin Wojnakowski, et al.
Applied Sciences (2023) Vol. 13, Iss. 12, pp. 7137-7137
Open Access | Times Cited: 1
Preliminary Verification of Liveness in a Control Part of Cyber-Physical Systems Modeled by a Petri Net
Mateusz Popławski, Remigiusz Wiśniewski, Grzegorz Bazydło, et al.
IFIP advances in information and communication technology (2023), pp. 205-215
Closed Access
Mateusz Popławski, Remigiusz Wiśniewski, Grzegorz Bazydło, et al.
IFIP advances in information and communication technology (2023), pp. 205-215
Closed Access
Improving Characteristics of FPGA-Based FSMs Representing Sequential Blocks of Cyber-Physical Systems
Alexander Barkalov, Larysa Titarenko, Kazimierz Krzywicki, et al.
Applied Sciences (2023) Vol. 13, Iss. 18, pp. 10200-10200
Open Access
Alexander Barkalov, Larysa Titarenko, Kazimierz Krzywicki, et al.
Applied Sciences (2023) Vol. 13, Iss. 18, pp. 10200-10200
Open Access
The analysis of Iris image acquisition and real-time detection system using convolutional neural network
Yanru Liu, Jiali Xu, Austin Lin Yee
The Journal of Supercomputing (2023) Vol. 80, Iss. 4, pp. 4500-4532
Closed Access
Yanru Liu, Jiali Xu, Austin Lin Yee
The Journal of Supercomputing (2023) Vol. 80, Iss. 4, pp. 4500-4532
Closed Access
Supervisory Control of Cyber-Physical Systems Subject to Actuator Jamming Attacks
Wenli Duo, Shouguang Wang, MengChu Zhou, et al.
2021 IEEE International Conference on Networking, Sensing and Control (ICNSC) (2023), pp. 1-6
Closed Access
Wenli Duo, Shouguang Wang, MengChu Zhou, et al.
2021 IEEE International Conference on Networking, Sensing and Control (ICNSC) (2023), pp. 1-6
Closed Access
