This comprehensive review provides an in-depth analysis of graph theory, various graph
types, and the role of graph visualization in scientific studies. Graphs serve as powerful tools …

Petri nets are a useful mathematical formalism for specification of manufacturing systems,
supported by various analysis and verification methods. The progress made in automating …

Cyber‐physical systems (CPSs) are monitored and controlled by a computing and
communicating core. This cyber layer enables better management of the controlled …

This paper presents a novel design approach of a Petri-net-based cyber-physical system
(CPS). The idea is oriented toward implementation in a field-programmable gate array …

The paper proposes an algorithm for safeness verification of a Petri net-based specification
of the control part of cyberphysical systems. The method involves a linear algebra technique …

Blockchain-based cyber-physical systems (CPSs) and the blockchain Internet of things
(BIoT) are two major focuses of the modern technological revolution. Currently we have …

A high-bandwidth (> 20 kHz) motor emulator (ME) prototype for ac machines, utilizing field
programmable gate array (FPGA)-based hybrid model predictive control (MPC) and a high …

Matrix converters (MCs) allow the implementation of single-stage AC/AC power conversion
systems (PCS) with inherent bidirectional power flow capability. By avoiding the typical DC …

In this paper, we study selected aspects of determinism in the control part of a cyber-physical
system (CPS) that is specified by a Petri net-based model. In particular, the control …

Field-programmable gate array (FPGA) is a powerful platform that can play an essential role
in high-performance digital control of power electronics systems. However, the FPGA …