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 …

Reachability is the basis for studying other dynamic properties of Petri nets (PNs). When a
state equation is used to determine the reachability of a marking, we need to judge whether …

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 …

Mobile robots are extensively used to complete repetitive operations in industrial areas such
as intelligent transportation, logistics, and manufacturing systems. This paper addresses the …

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

The paper proposes a novel modelling and analysis technique of the system supporting
implementation of additive manufacturing (AM) technologies specified by the interpreted …