Programmable logic controllers (PLCs) are heavily used in industrial control systems,
because of their high capacity of simultaneous input/output processing capabilities …

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 …

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 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 …

Two methods of Petri nets decomposition into State Machine Components (SMCs) are
shown in the paper. The first one bases on the well-known algorithm of place invariants (p …

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 article focuses on some aspects regarding logic controller design. Control process is
formally specified using interpreted Petri nets. It is then formally verified against behavioral …

Formal verification of specifications of digital devices, such as logical controllers, is an
important part of the design process. Deadlock detection is one of the fundamental tasks of …

Reconfigurable systems have been recently used in many domains. Although the concept of
multi-context logic controllers is relatively new, it may be noticed that the subject is receiving …

Ensuring the security of 5G Authentication and Key Agreement (5G AKA) is utmost important
in the context of the upcoming widespread use of 5G. In this paper, we focus on the formal …