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 …

When an emergency occurs, disposal needs to be built to reduce the risk imposed on life,
property, and environment. Generally, the disposal is organized as a cross-organization …

The chapter presents an overview of applying the Petri nets as a model and a way of
specification of the parallel logical control algorithms. The history of using the Petri nets for …

Given the discrete state-space system, the set cover problem is defined as selection of the
minimal number of global states to cover all the local states. Commonly known methods …

Logic controller behavior can be specified using various techniques, including UML activity
diagrams and control Petri nets. Each technique has its advantages and disadvantages …

Concurrent systems are composed of a set of subsystems (processes, threads etc.) that must
communicate between themselves to meet the system requirements. Modelling and …

Logic controller specification can be prepared using various techniques. One of them is the
wide understandable and user-friendly UML language and its activity diagrams. Using …

The paper presents an RTCP-nets'(real-time coloured Petri nets) coverability graphs into
Aldebaran format translation algorithm. The approach provides the possibility of automatic …

The article focuses on programming of logic controllers. It is important that a programming
code of a logic controller is executed flawlessly according to the primary specification. In the …