3 citations · 5 across the 4 of their papers we have counts for
3 papers · 1 filter
Encoding Incremental NACs in Safe Graph Grammars using Complementation
Andrea Corradini, Maryam Ghaffari Saadat, Reiko Heckel
In modelling complex systems with graph grammars (GGs), it is convenient to restrict the application of rules using attribute constraints and negative application conditions (NACs)…
Efficient Computation of Graph Overlaps for Rule Composition: Theory and Z3 Prototyping
Nicolas Behr, Reiko Heckel, Maryam Ghaffari Saadat
Graph transformation theory relies upon the composition of rules to express the effects of sequences of rules. In practice, graphs are often subject to constraints, ruling out many…
Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks
Benjamin Cabrera, Tobias Heindel, Reiko Heckel +1
The paper extends Bayesian networks (BNs) by a mechanism for dynamic changes to the probability distributions represented by BNs. One application scenario is the process of knowled…