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 …

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 …

The traditional security risk monitoring technology cannot adapt to cyber-physical power
systems (CPPS) concerning evaluation criteria, real-time monitoring, and technical …

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 …

Two design flows of the Petri net-based cyber-physical systems oriented towards
implementation in an FPGA are presented in the paper. The first method is based on the …

Technological progress in recent years in the Cyber-Physical Systems (CPSs) area has
given designers unprecedented possibilities and computational power, but as a …

In the present era, the consensus for blockchain is of three types: consortium/permissioned,
decentralized/permissionless, and somewhat decentralized. Presently, security and privacy …

The increasing demand for power in the Electrical Power System (EPS) causes a significant
increase of power in the daily load curve as well as transmission line overload. The large …

This paper proposes a novel design concept of concurrent control systems specified by
interpreted Petri nets and implemented in **linx FPGA devices. The technique is oriented on …

This paper introduces a novel algorithm for the efficient verification of a Petri net-based
concurrent control system. The proposed method is based on the computation of transition …