3 citations · 17 across the 14 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)…
Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks
Rebecca Bernemann, Benjamin Cabrera, Reiko Heckel +1
This paper exploits extended Bayesian networks for uncertainty reasoning on Petri nets, where firing of transitions is probabilistic. In particular, Bayesian networks are used as s…
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…