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 …

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 …

In the era of smart manufacturing and Industry 4.0, the rapid development of modelling in
production processes results in the implementation of new techniques, such as additive …

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 …

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

This paper shows a novel prototyping technique for concurrent control systems described by
interpreted Petri nets. The technique is based on the decomposition of an interpreted Petri …

The paper describes the Hippo-CPS tool in the verification of Petri net-based cyber-physical
systems. In particular, verification of the key properties such as boundedness, safeness and …

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

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 …