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 …

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 …

We investigate three particular instances of the marking coverability problem in ordinary,
safe Petri nets: the Dead Places Problem, the Dead Transitions Problem, and the …

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 paper deals with the verification and analysis techniques offered by the Hippo-CPS
system. The presented tool offers alternate examination methods of the Petri net-based …

The concurrent places of a Petri net are all pairs of places that may simultaneously have a
token in some reachable marking. Concurrent places generalize the usual notion of dead …

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 …

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 …