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 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
Showing 15 citing articles:
Challenges in Application of Petri Nets in Manufacturing Systems
Iwona Grobelna, Andrei Karatkevich
Electronics (2021) Vol. 10, Iss. 18, pp. 2305-2305
Open Access | Times Cited: 36
Iwona Grobelna, Andrei Karatkevich
Electronics (2021) Vol. 10, Iss. 18, pp. 2305-2305
Open Access | Times Cited: 36
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
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
Interpreted Petri Nets Applied to Autonomous Components within Electric Power Systems
Iwona Grobelna, Paweł Szcześniak
Applied Sciences (2022) Vol. 12, Iss. 9, pp. 4772-4772
Open Access | Times Cited: 11
Iwona Grobelna, Paweł Szcześniak
Applied Sciences (2022) Vol. 12, Iss. 9, pp. 4772-4772
Open Access | Times Cited: 11
Overview of Control Algorithm Verification Methods in Power Electronics Systems
Paweł Szcześniak, Iwona Grobelna, Mateja Novak, et al.
Energies (2021) Vol. 14, Iss. 14, pp. 4360-4360
Open Access | Times Cited: 13
Paweł Szcześniak, Iwona Grobelna, Mateja Novak, et al.
Energies (2021) Vol. 14, Iss. 14, pp. 4360-4360
Open Access | Times Cited: 13
Temporal Analysis of Influence of Resource Failures on Cyber-Physical Systems Based on Discrete Timed Petri Nets
Fu-Shiung Hsieh
Applied Sciences (2021) Vol. 11, Iss. 14, pp. 6469-6469
Open Access | Times Cited: 11
Fu-Shiung Hsieh
Applied Sciences (2021) Vol. 11, Iss. 14, pp. 6469-6469
Open Access | Times Cited: 11
Valid and reliable instrument for measuring Indonesian students’ reading literacy
Limala Ratni Sri Kharismawati, Pratomo Widodo, Heri Retnawati
Journal of Education and Learning (EduLearn) (2024) Vol. 18, Iss. 4, pp. 1495-1504
Open Access | Times Cited: 1
Limala Ratni Sri Kharismawati, Pratomo Widodo, Heri Retnawati
Journal of Education and Learning (EduLearn) (2024) Vol. 18, Iss. 4, pp. 1495-1504
Open Access | Times Cited: 1
Formal Verification of Control Modules in Cyber-Physical Systems
Iwona Grobelna
Sensors (2020) Vol. 20, Iss. 18, pp. 5154-5154
Open Access | Times Cited: 10
Iwona Grobelna
Sensors (2020) Vol. 20, Iss. 18, pp. 5154-5154
Open Access | Times Cited: 10
Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets
Iwona Grobelna, Paweł Szcześniak
Sensors (2022) Vol. 22, Iss. 18, pp. 6936-6936
Open Access | Times Cited: 5
Iwona Grobelna, Paweł Szcześniak
Sensors (2022) Vol. 22, Iss. 18, pp. 6936-6936
Open Access | Times Cited: 5
Graph of Outputs in the Process of Synthesis Directed at CPLDs
Marcin Kubica, Dariusz Kania
Mathematics (2019) Vol. 7, Iss. 12, pp. 1171-1171
Open Access | Times Cited: 6
Marcin Kubica, Dariusz Kania
Mathematics (2019) Vol. 7, Iss. 12, pp. 1171-1171
Open Access | Times Cited: 6
A type system for formal verification of cyber-physical systems C/C++ software
Yuriy Manzhos, Yevheniia Sokolova
RADIOELECTRONIC AND COMPUTER SYSTEMS (2024) Vol. 2024, Iss. 1, pp. 127-142
Open Access
Yuriy Manzhos, Yevheniia Sokolova
RADIOELECTRONIC AND COMPUTER SYSTEMS (2024) Vol. 2024, Iss. 1, pp. 127-142
Open Access
A Relational Abstraction of Structure and Behavior for Cyber-Physical System Design
Chao Wang, Li Wan, Tifan Xiong, et al.
IEEE Access (2021) Vol. 9, pp. 40388-40401
Closed Access | Times Cited: 3
Chao Wang, Li Wan, Tifan Xiong, et al.
IEEE Access (2021) Vol. 9, pp. 40388-40401
Closed Access | Times Cited: 3
Modular Modeling and Statistical Validation for Grid-Connected FS-MPC-Controlled Matrix Converters
Mateja Novak, Iwona Grobelna, Ulrik Nyman, et al.
IEEE Transactions on Industrial Electronics (2022) Vol. 70, Iss. 9, pp. 8613-8623
Open Access | Times Cited: 2
Mateja Novak, Iwona Grobelna, Ulrik Nyman, et al.
IEEE Transactions on Industrial Electronics (2022) Vol. 70, Iss. 9, pp. 8613-8623
Open Access | Times Cited: 2
Statistical Performance Verification of the FS-MPC Algorithm Applied to the Matrix Converter
Mateja Novak, Iwona Grobelna, Ulrik Nyman, et al.
2022 International Power Electronics Conference (IPEC-Himeji 2022- ECCE Asia) (2022), pp. 76-82
Open Access | Times Cited: 1
Mateja Novak, Iwona Grobelna, Ulrik Nyman, et al.
2022 International Power Electronics Conference (IPEC-Himeji 2022- ECCE Asia) (2022), pp. 76-82
Open Access | Times Cited: 1
Towards the Application of Coloured Petri Nets for Design and Validation of Power Electronics Converter Systems
Vegard Steinsland, Lars Michael Kristensen, Shujun Zhang
Lecture notes in computer science (2022), pp. 3-22
Closed Access
Vegard Steinsland, Lars Michael Kristensen, Shujun Zhang
Lecture notes in computer science (2022), pp. 3-22
Closed Access
