A tutorial on graph transformation
Graph transformation or graph rewriting has been developed for nearly 50 years and has
become a mature and manifold formal technique. Basically, rewrite rules are used to …
become a mature and manifold formal technique. Basically, rewrite rules are used to …
Rewriting logic and Petri nets: a natural model for reconfigurable distributed systems
L Capra - … Conference on Distributed Computing and Internet …, 2022 - Springer
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 …
enough to represent dynamically reconfigurable systems. On the other side, Rewriting Logic …
Canonization of Reconfigurable PT Nets in Maude
L Capra - International Conference on Reachability Problems, 2022 - Springer
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 …
enough to specify a system's dynamic reconfiguration. Rewriting Logic, in turn, has proved to …
A maude implementation of rewritable petri nets: a feasible model for dynamically reconfigurable systems
L Capra - arXiv preprint arXiv:2111.08205, 2021 - arxiv.org
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 …
but, at least in their classical definition, not expressive enough to represent dynamic …
Bi-objective framework for planning a supply chain process in reconfigurable manufacturing systems
Reconfigurable manufacturing system (ie, RMS) is a recent class of manufacturing systems
which is featured by six basic characteristics (ie, modularity, integrability, customization …
which is featured by six basic characteristics (ie, modularity, integrability, customization …
Rctl: New temporal logic for improved formal verification of reconfigurable discrete-event systems
This article deals with improved formal verification of reconfigurable discrete-event systems
(DESs) modeled by reconfigurable timed net condition event systems (R-TNCESs). An R …
(DESs) modeled by reconfigurable timed net condition event systems (R-TNCESs). An R …
[PDF][PDF] Automatic Properties Classification Approach for Guiding the Verification of Complex Reconfigurable Systems.
This paper deals with reconfigurable discrete event/control systems (RDECSs) that
dynamically change their structures due to external changes in environment or user …
dynamically change their structures due to external changes in environment or user …
Hierarchical reconfigurable petri nets
JU Lorbeer - 2018 - reposit.haw-hamburg.de
The challenging development of modern systems can be eased through the usage of
appropriate models to simulate, evaluate and validate the system before hand. One well …
appropriate models to simulate, evaluate and validate the system before hand. One well …
[HTML][HTML] Modular rewritable Petri nets: An efficient model for dynamic distributed systems
L Capra, M Köhler-Bußmeier - Theoretical Computer Science, 2024 - Elsevier
Modern distributed systems are becoming pervasive and increasingly provided with
adaptation,(self-) reconfiguration and mobility capability. On one side, to face the challenges …
adaptation,(self-) reconfiguration and mobility capability. On one side, to face the challenges …
[HTML][HTML] Reconfigurable GSPNs: A modeling formalism of evolvable discrete-event systems
Nowadays, a wide range of systems are becoming structurally dynamic, variably
interconnected, and highly complex. The use of classical formal approaches, such as Petri …
interconnected, and highly complex. The use of classical formal approaches, such as Petri …