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 …

This paper focuses on the design and verification methods of distributed logic controllers
supervising real-life processes. Such systems have to be designed very carefully and …

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 …

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 proposes the novel concurrency and sequentiality analysis techniques of a cyber-
physical system specified by a safe Petri net. The presented methods are based on the …

The article presents a novel approach to model checking of UML activity diagrams (in
version 2. x) for logic controller specification. A novel idea to design embedded systems by …

In the article we present a new algorithm of Petri net decomposition into State Machine
Components (SMCs). The idea bases on the application of the comparability graph theory …

The paper presents a method of using the UML state machine diagrams for specification of
programs of logic controllers. The proposed method allows transformation from UML state …

Liveness is one of the crucial properties in the analysis of the Petri net-based cyber-physical
systems. The paper proposes two algorithms related to the analysis of the liveness. The first …

The paper presents the methodology of the logic controller development process based on
the UML state machine diagram. The development process covers the logic synthesis and …