This paper proposes a Petri-net-based specification of cyber-physical systems dedicated to
the control of a direct matrix converter with space vector modulation (SVM) and transistor
commutation. The technique employed is further applied for hardware implementation in a
programmable logic device [namely, field-programmable gate array (FPGA)]. Contrary to the
traditional SVM computation methods, concurrency aspects of the digital devices are highly
utilized in the presented solution. Therefore, the hardware system is specified by a live and …

This paper proposes a Petri-net-based specification of cyber-physical systems dedicated to
the control of a direct matrix converter with space vector modulation (SVM) and transistor
commutation. The technique employed is further applied for hardware implementation in a
programmable logic device [namely, field-programmable gate array (FPGA)]. Contrary to the
traditional SVM computation methods, concurrency aspects of the digital devices are highly
utilized in the presented solution. Therefore, the hardware system is specified by a live and …