3 citations · 5 across the 4 of their papers we have counts for
7 papers
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…
Analysis of Graph Transformation Systems: Native vs Translation-based Techniques
Reiko Heckel, Leen Lambers, Maryam Ghaffari Saadat
The paper summarises the contributions in a session at GCM 2019 presenting and discussing the use of native and translation-based solutions to common analysis problems for Graph Tr…
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…
Features of Agent-based Models
Reiko Heckel, Alexander Kurz, Edmund Chattoe-Brown
The design of agent-based models (ABMs) is often ad-hoc when it comes to defining their scope. In order for the inclusion of features such as network structure, location, or dynami…