In today's global manufacturing environment, changes are inevitable and something that
every manufacturer must respond to and take advantage of, whether it is in regards to …

Petri Nets (PN) are a central model for concurrent or distributed systems, but not expressive
enough to represent dynamically reconfigurable systems. On the other side, Rewriting Logic …

Petri Nets are a central model for concurrent or distributed systems but are not expressive
enough to specify a system's dynamic reconfiguration. Rewriting Logic, in turn, has proved to …

Petri Nets (PN) are a central, theoretically sound model for concurrent or distributed systems
but, at least in their classical definition, not expressive enough to represent dynamic …

Modern distributed systems are becoming pervasive and increasingly provided with
adaptation,(self-) reconfiguration and mobility capability. On one side, to face the challenges …

In this paper we introduce additional control structures for reconfigurable Petri nets. The
main contributions are inhibitor arcs and transition priorities for reconfigurable Petri nets …

Ein wichtiges Ziel der theoretischen Informatik ist die Entwicklung formaler Methoden, die es
erlauben die Qualität der zu entwickelnden Sofware zu verbessern. Eigenschaften wie …

The fifth-generation (5G) standard is the last telecommunication technology, widely
considered to have the most important characteristics in the future network industry. The 5G …

Dynamic reconfiguration refers to the ability of a system to dynamically change its structure
and interface according to different situations. It provides feasible and flexible modeling and …

This paper introduces an approach to model checking of reconfigurable Petri nets. The main
task is to flatten the two levels of dynamic behavior that reconfigurable nets provide, the …