
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:
A Polynomial-Time Algorithm to Obtain State Machine Cover of Live and Safe Petri Nets
Andrei Karatkevich, Remigiusz Wiśniewski
IEEE Transactions on Systems Man and Cybernetics Systems (2019) Vol. 50, Iss. 10, pp. 3592-3597
Closed Access | Times Cited: 20
Andrei Karatkevich, Remigiusz Wiśniewski
IEEE Transactions on Systems Man and Cybernetics Systems (2019) Vol. 50, Iss. 10, pp. 3592-3597
Closed Access | Times Cited: 20
Showing 20 citing articles:
Optimal Sensor Selection for Diagnosability Enforcement in Labeled Petri Nets
Shaopeng Hu, Zhiwu Li, Remigiusz Wiśniewski
IEEE Transactions on Systems Man and Cybernetics Systems (2024) Vol. 54, Iss. 5, pp. 2965-2977
Closed Access | Times Cited: 5
Shaopeng Hu, Zhiwu Li, Remigiusz Wiśniewski
IEEE Transactions on Systems Man and Cybernetics Systems (2024) Vol. 54, Iss. 5, pp. 2965-2977
Closed Access | Times Cited: 5
Petri Net-Based Specification of Cyber-Physical Systems Oriented to Control Direct Matrix Converters With Space Vector Modulation
Remigiusz Wiśniewski, Grzegorz Bazydło, Paweł Szcześniak, et al.
IEEE Access (2019) Vol. 7, pp. 23407-23420
Open Access | Times Cited: 40
Remigiusz Wiśniewski, Grzegorz Bazydło, Paweł Szcześniak, et al.
IEEE Access (2019) Vol. 7, pp. 23407-23420
Open Access | Times Cited: 40
Holistic Research on Blockchain’s Consensus Protocol Mechanisms with Security and Concurrency Analysis Aspects of CPS
Aniruddha Bhattacharjya, Remigiusz Wiśniewski, Venkatram Nidumolu
Electronics (2022) Vol. 11, Iss. 17, pp. 2760-2760
Open Access | Times Cited: 13
Aniruddha Bhattacharjya, Remigiusz Wiśniewski, Venkatram Nidumolu
Electronics (2022) Vol. 11, Iss. 17, pp. 2760-2760
Open Access | Times Cited: 13
A State-Equation-Based Backward Approach to a Legal Firing Sequence Existence Problem in Petri Nets
Liang Qi, Yue Su, MengChu Zhou, et al.
IEEE Transactions on Systems Man and Cybernetics Systems (2023) Vol. 53, Iss. 8, pp. 4968-4979
Closed Access | Times Cited: 7
Liang Qi, Yue Su, MengChu Zhou, et al.
IEEE Transactions on Systems Man and Cybernetics Systems (2023) Vol. 53, Iss. 8, pp. 4968-4979
Closed Access | Times Cited: 7
Design of Petri Net-Based Cyber-Physical Systems Oriented on the Implementation in Field Programmable Gate Arrays
Remigiusz Wiśniewski
Energies (2021) Vol. 14, Iss. 21, pp. 7054-7054
Open Access | Times Cited: 17
Remigiusz Wiśniewski
Energies (2021) Vol. 14, Iss. 21, pp. 7054-7054
Open Access | Times Cited: 17
Design of Optimal Supervisors for the Enforcement of Nonlinear Constraints on Petri Nets
Yufeng Chen, Lei Pan, Zhiwu Li
IEEE Transactions on Automation Science and Engineering (2022) Vol. 20, Iss. 1, pp. 611-623
Closed Access | Times Cited: 10
Yufeng Chen, Lei Pan, Zhiwu Li
IEEE Transactions on Automation Science and Engineering (2022) Vol. 20, Iss. 1, pp. 611-623
Closed Access | Times Cited: 10
Design and Verification of Cyber-Physical Systems Specified by Petri Nets—A Case Study of a Direct Matrix Converter
Remigiusz Wiśniewski, Grzegorz Bazydło, Paweł Szcześniak, et al.
Mathematics (2019) Vol. 7, Iss. 9, pp. 812-812
Open Access | Times Cited: 15
Remigiusz Wiśniewski, Grzegorz Bazydło, Paweł Szcześniak, et al.
Mathematics (2019) Vol. 7, Iss. 9, pp. 812-812
Open Access | Times Cited: 15
Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools
Remigiusz Wiśniewski, Grzegorz Bazydło, Lúıs Gomes, et al.
IECON 2020 The 46th Annual Conference of the IEEE Industrial Electronics Society (2019), pp. 5843-5848
Closed Access | Times Cited: 14
Remigiusz Wiśniewski, Grzegorz Bazydło, Lúıs Gomes, et al.
IECON 2020 The 46th Annual Conference of the IEEE Industrial Electronics Society (2019), pp. 5843-5848
Closed Access | Times Cited: 14
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
Modelling of the effectiveness of integrating additive manufacturing technologies into Petri net-based manufacturing systems
Justyna Patalas‐Maliszewska, Remigiusz Wiśniewski, Marcin Topczak, et al.
2022 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) (2022), pp. 1-9
Closed Access | Times Cited: 7
Justyna Patalas‐Maliszewska, Remigiusz Wiśniewski, Marcin Topczak, et al.
2022 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) (2022), pp. 1-9
Closed Access | Times Cited: 7
A Robust Control Approach to Automated Manufacturing Systems Combining Absorbing and Distributing Characteristics
Xiaojun Wang, Hesuan Hu
IEEE Transactions on Systems Man and Cybernetics Systems (2019) Vol. 50, Iss. 12, pp. 5024-5036
Closed Access | Times Cited: 10
Xiaojun Wang, Hesuan Hu
IEEE Transactions on Systems Man and Cybernetics Systems (2019) Vol. 50, Iss. 12, pp. 5024-5036
Closed Access | Times Cited: 10
Encoding of Terms in EMB-Based Mealy FSMs
Alexander Barkalov, Larysa Titarenko, Małgorzata Mazurkiewicz, et al.
Applied Sciences (2020) Vol. 10, Iss. 8, pp. 2762-2762
Open Access | Times Cited: 8
Alexander Barkalov, Larysa Titarenko, Małgorzata Mazurkiewicz, et al.
Applied Sciences (2020) Vol. 10, Iss. 8, pp. 2762-2762
Open Access | Times Cited: 8
Analysis of Control Part of Cyber-Physical Systems Specified by Interpreted Petri Nets
Marcin Wojnakowski, Remigiusz Wiśniewski, Mateusz Popławski, et al.
2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC) (2022), pp. 1090-1095
Closed Access | Times Cited: 5
Marcin Wojnakowski, Remigiusz Wiśniewski, Mateusz Popławski, et al.
2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC) (2022), pp. 1090-1095
Closed Access | Times Cited: 5
On tick automata for distributed timed DESs with synchronisations and minimal time constraints
Jan Komenda, Dimitri Lefebvre
IFAC-PapersOnLine (2023) Vol. 56, Iss. 2, pp. 8635-8640
Open Access | Times Cited: 2
Jan Komenda, Dimitri Lefebvre
IFAC-PapersOnLine (2023) Vol. 56, Iss. 2, pp. 8635-8640
Open Access | Times Cited: 2
On clock interval automata for a class of distributed timed DESs with time intervals
Dimitri Lefebvre, Jan Komenda
IFAC-PapersOnLine (2024) Vol. 58, Iss. 1, pp. 204-209
Open Access
Dimitri Lefebvre, Jan Komenda
IFAC-PapersOnLine (2024) Vol. 58, Iss. 1, pp. 204-209
Open Access
Bounded and place invariant-covered Petri nets for cyber-physical systems specification
Marcin Wojnakowski, Remigiusz Wiśniewski, Mateusz Popławski
AIP conference proceedings (2024) Vol. 3030, pp. 060001-060001
Open Access
Marcin Wojnakowski, Remigiusz Wiśniewski, Mateusz Popławski
AIP conference proceedings (2024) Vol. 3030, pp. 060001-060001
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
Safeness analysis of Petri net-based cyber-physical systems based on the linear algebra and parallel reductions
Marcin Wojnakowski, Mateusz Popławski, Remigiusz Wiśniewski, et al.
AIP conference proceedings (2022) Vol. 2611, pp. 070006-070006
Open Access | Times Cited: 1
Marcin Wojnakowski, Mateusz Popławski, Remigiusz Wiśniewski, et al.
AIP conference proceedings (2022) Vol. 2611, pp. 070006-070006
Open Access | Times Cited: 1
Modeling of safe timed Petri nets by two-level (max,+) automata
Jan Komenda, Davide Zorzenon, Jiří Balun
IFAC-PapersOnLine (2022) Vol. 55, Iss. 28, pp. 212-219
Open Access | Times Cited: 1
Jan Komenda, Davide Zorzenon, Jiří Balun
IFAC-PapersOnLine (2022) Vol. 55, Iss. 28, pp. 212-219
Open Access | Times Cited: 1
Minimization of SM-Covers of Petri Net Specifications of Control Systems
Andrei Karatkevich, Łukasz Stefanowicz
(2019), pp. 398-403
Closed Access
Andrei Karatkevich, Łukasz Stefanowicz
(2019), pp. 398-403
Closed Access